Search results for: Massimo Merro
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 238-251
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 71-84
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 549-562
Lecture Notes in Computer Science > Formal Aspects in Security and Trust > Session 4. Mobility and Deniability > 157-172
Lecture Notes in Computer Science > Euro-Par’99 Parallel Processing > Topic 17 > 1353-1368
Lecture Notes in Computer Science > CONCUR 2011 – Concurrency Theory > Probabilistic Systems > 156-170
Lecture Notes in Computer Science > Automata, Languages and Programming > Graphs and Bisimulation > 584-598
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 282-298
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 228-243
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Aliasing Models for Mobile Objects > 390-408
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 549-562
Science of Computer Programming > 2014 > 81 > Complete > 53-78
Formal Aspects of Computing > 2013 > 25 > 5 > 801-832
Theoretical Computer Science > 2011 > 412 > 47 > 6585-6611