Searching for authors named "Massimo Merro" – sorted by Relevance.
-
On Equators in Asynchronous Name-passing Calculi without Matching (Extended Abstract)
- Extended Abstract Massimo Merro 1;2 INRIA, 2004 Rue des Lucioles, B.P. 93, 06902 Sophia-Antipolis, France
- Cited by 6 (0 self) – Add To MetaCart
-
Behavioural Theory for Mobile Ambients
- Behavioural Theory for Mobile Ambients MASSIMO MERRO Dipartimento di Informatica, Università di
- Cited by 8 (1 self) – Add To MetaCart
-
Locality and Polyadicity in Asynchronous Name-Passing Calculi
- Locality and polyadicity in asynchronous name-passing calculi Massimo Merro ? INRIA Sophia
- Cited by 4 (1 self) – Add To MetaCart
-
Distributed consensus, revisited
- Rachele Fuzzati EPFL, Switzerland Distributed Consensus, Revisited ∗ Massimo Merro Dipartimento di
- Cited by 2 (0 self) – Add To MetaCart
-
A bisimulation-based semantic theory of safe ambients
- A Bisimulation-based Semantic Theory of Safe Ambients MASSIMO MERRO Dipartimento di Informatica
- Cited by 5 (0 self) – Add To MetaCart
-
Bisimulation Congruences in Safe Ambients
- Bisimulation Congruences in Safe Ambients Massimo Merro and Matthew Hennessy COGS, University
- Cited by 46 (7 self) – Add To MetaCart
-
On Asynchrony in Name-Passing Calculi
- On asynchrony in name-passing calculi Massimo Merro ? Davide Sangiorgi ?? INRIA Sophia
- Cited by 71 (14 self) – Add To MetaCart
-
-Calculus at Work: Mobile Objects as Mobile Processes
- Local -Calculus at Work: Mobile Objects as Mobile Processes ? Massimo Merro 1?? , Josva Kleist
- Add To MetaCart
-
Migration = Cloning ; Aliasing
- Massimo Merro BRICS Report Series RS-98-33 ISSN 0909-0878 December 1998 Copyright c 1998, BRICS
- Add To MetaCart
-
Local pi-Calculus at Work: Mobile Objects as Mobile Processes
- Local -Calculus at Work: Mobile Objects as Mobile Processes 1 Massimo Merro 2 COGS, University
- Add To MetaCart

