Search the dblp DataBase
Massimo Merro :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Massimo Merro , Vladimiro Sassone Typing and Subtyping Mobility in Boxed Ambients. [Citation Graph (0, 0)][DBLP ] CONCUR, 2002, pp:304-320 [Conf ] Uwe Nestmann , Rachele Fuzzati , Massimo Merro Modeling Consensus in a Process Calculus. [Citation Graph (0, 0)][DBLP ] CONCUR, 2003, pp:393-407 [Conf ] Uwe Nestmann , Hans Hüttel , Josva Kleist , Massimo Merro Aliasing Models for Object Migration. [Citation Graph (0, 0)][DBLP ] Euro-Par, 1999, pp:1353-1368 [Conf ] Matthew Hennessy , Massimo Merro , Julian Rathke Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2003, pp:282-298 [Conf ] Massimo Merro Locality and Polyadicity in Asynchronous Name-Passing Calculi. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2000, pp:238-251 [Conf ] Michele Bugliesi , Silvia Crafa , Massimo Merro , Vladimiro Sassone Communication Interference in Mobile Boxed Ambients. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2002, pp:71-84 [Conf ] Massimo Merro , Francesco Zappa Nardelli Bisimulation Proof Methods for Mobile Ambients. [Citation Graph (0, 0)][DBLP ] ICALP, 2003, pp:584-598 [Conf ] Massimo Merro , Davide Sangiorgi On Asynchrony in Name-Passing Calculi. [Citation Graph (0, 0)][DBLP ] ICALP, 1998, pp:856-867 [Conf ] Massimo Merro , Josva Kleist , Uwe Nestmann Local pi-Calculus at Work: Mobile Objects as Mobile Processes. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2000, pp:390-408 [Conf ] Massimo Merro , Francesco Zappa Nardelli Behavioural Theory for Mobile Ambients. [Citation Graph (0, 0)][DBLP ] IFIP TCS, 2004, pp:549-562 [Conf ] Andrea Maggiolo-Schettini , Massimo Merro Prorities in Statecharts. [Citation Graph (0, 0)][DBLP ] LOMAPS, 1996, pp:404-429 [Conf ] Massimo Merro , Matthew Hennessy Bisimulation congruences in safe ambients. [Citation Graph (0, 0)][DBLP ] POPL, 2002, pp:71-80 [Conf ] Massimo Merro On the Expressiveness of Chi, Update, and Fusion calculi. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal ] Massimo Merro On Equators in Asynchronous Name-passing Calculi without Matching. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal ] Massimo Merro , Corrado Biasi On the Observational Theory of the CPS-calculus: (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:307-330 [Journal ] Massimo Merro An Observational Theory for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:275-293 [Journal ] Michele Bugliesi , Silvia Crafa , Massimo Merro , Vladimiro Sassone Communication and mobility control in boxed ambients. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2005, v:202, n:1, pp:39-86 [Journal ] Massimo Merro , Josva Kleist , Uwe Nestmann Mobile Objects as Mobile Processes. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:177, n:2, pp:195-241 [Journal ] Uwe Nestmann , Hans Hüttel , Josva Kleist , Massimo Merro Aliasing Models for Mobile Objects. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2002, v:175, n:1, pp:3-33 [Journal ] Massimo Merro , Francesco Zappa Nardelli Behavioral theory for mobile ambients. [Citation Graph (0, 0)][DBLP ] J. ACM, 2005, v:52, n:6, pp:961-1023 [Journal ] Massimo Merro , Davide Sangiorgi On asynchrony in name-passing calculi. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2004, v:14, n:5, pp:715-767 [Journal ] Matthew Hennessy , Massimo Merro , Julian Rathke Towards a behavioural theory of access and mobility control in distributed systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:322, n:3, pp:615-669 [Journal ] Massimo Merro , Matthew Hennessy A bisimulation-based semantic theory of Safe Ambients. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2006, v:28, n:2, pp:290-330 [Journal ] A Calculus of Trustworthy Ad Hoc Networks. [Citation Graph (, )][DBLP ] A Timed Calculus for Wireless Systems. [Citation Graph (, )][DBLP ] Distributed Consensus, revisited. [Citation Graph (, )][DBLP ] On the observational theory of the CPS-calculus. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.309secs