Travelled to:1 × Denmark
1 × Germany
1 × Italy
1 × Poland
1 × The Netherlands
1 × USA
Collaborated with:M.Hennessy F.Z.Nardelli ∅ D.Sangiorgi D.Benetti L.Viganò J.Rathke
Talks about:calculi (2) bisimul (2) ambient (2) mobil (2) pass (2) name (2) asynchroni (1) distribut (1) congruenc (1) behaviour (1)
Person: Massimo Merro
DBLP: Merro:Massimo
Contributed to:
2010
2003
2003
200220001998Wrote 6 papers:
- SEFM-2010-BenettiMV #ad hoc #model checking #network #protocol
- Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA (DB, MM, LV), pp. 191–202.
- FoSSaCS-2003-HennessyMR #behaviour #distributed #towards
- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems (MH, MM, JR), pp. 282–298.
- ICALP-2003-MerroN #bisimulation #mobile #proving
- Bisimulation Proof Methods for Mobile Ambients (MM, FZN), pp. 584–598.
- POPL-2002-MerroH #bisimulation
- Bisimulation congruences in safe ambients (MM, MH), pp. 71–80.
- FoSSaCS-2000-Merro #calculus #locality
- Locality and Polyadicity in Asynchronous Name-Passing Calculi (MM), pp. 238–251.
- ICALP-1998-MerroS #calculus #on the
- On Asynchrony in Name-Passing Calculi (MM, DS), pp. 856–867.