Search results for: Catuscia Palamidessi
Fundamenta Informaticae > 2020 > Vol. 177, nr 3/4 > 331--357
Journal of Computer and System Sciences > 2017 > 88 > C > 27-52
Theoretical Computer Science > 2016 > 655 > PB > 92-108
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 309-337
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Models of Computation > 185-206
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Process Calculi > 138-152
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 99-114
Lecture Notes in Computer Science > A 25-Year Perspective on Logic Programming > Twenty-Five Years of Logic Programming in Italy > 231-253
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 443-457
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP 2001 > 302-316
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 146-160
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Real Time and Information Flow > 373-389
Lecture Notes in Computer Science > Trustworthy Global Computing > Security, Anonymity and Type Safety > 281-300