 | 2009 |
|---|
| 25 |       | Massimo Merro:
An Observational Theory for Mobile Ad Hoc Networks (full version).
Inf. Comput. 207(2): 194-208 (2009) |
| 2007 |
|---|
| 24 | | Rachele Fuzzati,
Massimo Merro,
Uwe Nestmann:
Distributed Consensus, revisited.
Acta Inf. 44(6): 377-425 (2007) |
| 23 | | Massimo Merro:
An Observational Theory for Mobile Ad Hoc Networks.
Electr. Notes Theor. Comput. Sci. 173: 275-293 (2007) |
| 2006 |
|---|
| 22 | | Massimo Merro,
Matthew Hennessy:
A bisimulation-based semantic theory of Safe Ambients.
ACM Trans. Program. Lang. Syst. 28(2): 290-330 (2006) |
| 21 | | Massimo Merro,
Corrado Biasi:
On the Observational Theory of the CPS-calculus: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 158: 307-330 (2006) |
| 2005 |
|---|
| 20 | | Michele Bugliesi,
Silvia Crafa,
Massimo Merro,
Vladimiro Sassone:
Communication and mobility control in boxed ambients.
Inf. Comput. 202(1): 39-86 (2005) |
| 19 | | Massimo Merro,
Francesco Zappa Nardelli:
Behavioral theory for mobile ambients.
J. ACM 52(6): 961-1023 (2005) |
| 2004 |
|---|
| 18 |  | Massimo Merro,
Francesco Zappa Nardelli:
Behavioural Theory for Mobile Ambients.
IFIP TCS 2004: 549-562 |
| 17 | | Massimo Merro,
Davide Sangiorgi:
On asynchrony in name-passing calculi.
Mathematical Structures in Computer Science 14(5): 715-767 (2004) |
| 16 | | Matthew Hennessy,
Massimo Merro,
Julian Rathke:
Towards a behavioural theory of access and mobility control in distributed systems.
Theor. Comput. Sci. 322(3): 615-669 (2004) |
| 2003 |
|---|
| 15 | | Uwe Nestmann,
Rachele Fuzzati,
Massimo Merro:
Modeling Consensus in a Process Calculus.
CONCUR 2003: 393-407 |
| 14 | | Matthew Hennessy,
Massimo Merro,
Julian Rathke:
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.
FoSSaCS 2003: 282-298 |
| 13 | | Massimo Merro,
Francesco Zappa Nardelli:
Bisimulation Proof Methods for Mobile Ambients.
ICALP 2003: 584-598 |
| 2002 |
|---|
| 12 | | Massimo Merro,
Vladimiro Sassone:
Typing and Subtyping Mobility in Boxed Ambients.
CONCUR 2002: 304-320 |
| 11 | | Michele Bugliesi,
Silvia Crafa,
Massimo Merro,
Vladimiro Sassone:
Communication Interference in Mobile Boxed Ambients.
FSTTCS 2002: 71-84 |
| 10 | | Massimo Merro,
Matthew Hennessy:
Bisimulation congruences in safe ambients.
POPL 2002: 71-80 |
| 9 | | Uwe Nestmann,
Hans Hüttel,
Josva Kleist,
Massimo Merro:
Aliasing Models for Mobile Objects.
Inf. Comput. 175(1): 3-33 (2002) |
| 8 | | Massimo Merro,
Josva Kleist,
Uwe Nestmann:
Mobile Objects as Mobile Processes.
Inf. Comput. 177(2): 195-241 (2002) |
| 2000 |
|---|
| 7 | | Massimo Merro:
Locality and Polyadicity in Asynchronous Name-Passing Calculi.
FoSSaCS 2000: 238-251 |
| 6 | | Massimo Merro,
Josva Kleist,
Uwe Nestmann:
Local pi-Calculus at Work: Mobile Objects as Mobile Processes.
IFIP TCS 2000: 390-408 |
| 1999 |
|---|
| 5 | | Uwe Nestmann,
Hans Hüttel,
Josva Kleist,
Massimo Merro:
Aliasing Models for Object Migration.
Euro-Par 1999: 1353-1368 |
| 4 | | Massimo Merro:
On Equators in Asynchronous Name-passing Calculi without Matching.
Electr. Notes Theor. Comput. Sci. 27: (1999) |
| 1998 |
|---|
| 3 | | Massimo Merro,
Davide Sangiorgi:
On Asynchrony in Name-Passing Calculi.
ICALP 1998: 856-867 |
| 2 | | Massimo Merro:
On the Expressiveness of Chi, Update, and Fusion calculi.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
| 1996 |
|---|
| 1 | | Andrea Maggiolo-Schettini,
Massimo Merro:
Prorities in Statecharts.
LOMAPS 1996: 404-429 |
