Search results for: Vladimiro Sassone
Journal of Computer and System Sciences > 2017 > 88 > C > 27-52
Lecture Notes in Computer Science > CONCUR '92 > 286-301
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Invited Papers > 23-31
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P1) > 681-706
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 334-348
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 428-442
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 280-291