BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Merro:Massimo

Contributed to:

SEFM 20102010
FoSSaCS 20032003
ICALP 20032003
POPL 20022002
FoSSaCS 20002000
ICALP 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.