Search results for: Roberto Gorrieri
Fundamenta Informaticae > 2021 > Vol. 180, nr 3 > 179--249
IFIP — The International Federation for Information Processing > Security and Protection in Information Processing Systems > 47-64
Lecture Notes in Computer Science > CAAP '88 > 258-270
Lecture Notes in Computer Science > TAPSOFT '91 > 29-48
Lecture Notes in Computer Science > TAPSOFT '89 > 162-177
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Calculi > 139-154
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 121-136