The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Massimo Merro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Massimo Merro, Vladimiro Sassone
    Typing and Subtyping Mobility in Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:304-320 [Conf]
  2. Uwe Nestmann, Rachele Fuzzati, Massimo Merro
    Modeling Consensus in a Process Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:393-407 [Conf]
  3. 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]
  4. 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]
  5. Massimo Merro
    Locality and Polyadicity in Asynchronous Name-Passing Calculi. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:238-251 [Conf]
  6. 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]
  7. Massimo Merro, Francesco Zappa Nardelli
    Bisimulation Proof Methods for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:584-598 [Conf]
  8. Massimo Merro, Davide Sangiorgi
    On Asynchrony in Name-Passing Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:856-867 [Conf]
  9. 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]
  10. Massimo Merro, Francesco Zappa Nardelli
    Behavioural Theory for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:549-562 [Conf]
  11. Andrea Maggiolo-Schettini, Massimo Merro
    Prorities in Statecharts. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:404-429 [Conf]
  12. Massimo Merro, Matthew Hennessy
    Bisimulation congruences in safe ambients. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:71-80 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]

  24. A Calculus of Trustworthy Ad Hoc Networks. [Citation Graph (, )][DBLP]


  25. A Timed Calculus for Wireless Systems. [Citation Graph (, )][DBLP]


  26. Distributed Consensus, revisited. [Citation Graph (, )][DBLP]


  27. On the observational theory of the CPS-calculus. [Citation Graph (, )][DBLP]


  28. Preface. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002