Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Massimo Merro's Home Page
[go: Go Back, main page]

Publications of Massimo Merro



Articles



           with M. Hennessy.
           ACM Transactions on Programming Languages and Systems 28(2): 290-330, 2006.


           with F. Zappa Nardelli
           Journal of the ACM 52(6): 961-1023, 2005.

 
            with M. Hennessy and J. Rathke
            Theoretical Computer Science 322(3): 615-669, 2004.

            with M. Bugliesi, S. Crafa, and V. Sassone.
            Information & Computation 202(1): 39-86, 2005.

             with J. Kleist and U. Nestmann
             Information & Computation 177(2): 195-241, 2002.

             with U. Nestmann, H. Huttel, and J. Kleist
             Information & Computation 175(1):  3-33, 2002.
 
 

Conferences and Workshops


          with Corrado Biasi
          In the Proceeding of the 22nd International Conference on the
          Mathematical Foundations of Program Semantics (MFPS'06).
          Also available as Research Report 40/2006 of the University of Verona.
          Genova, Italy, May 2006.

          with Francesco Zappa Nardelli
          In the Proceedings of the 3rd International Conference on
          Theoretical Computer Science (IFIP TCS 2004).  Toulouse, France, August 2004.

           with Uwe Nestmann and Rachele Fuzzati
           In the Proceedings of the 14th International Conference on
           "Concurrency Theory" (CONCUR 2003), Marseilles, France, September 2003.

            with Francesco Zappa Nardelli.
            An extended abstract will appear in the Proceedings of  the 30th ''International Colloquium on
            Automata, Languages, and Programming" (ICALP 2003),Eindhoven, The Netherlands,  July 2003.
            Available as COGS Technical Report 2003:1 at   http://www.cogs.susx.ac.uk/reports.html  

             with M. Hennessy and J. Rathke
             An extended abstract will appear in the Proceedings of the 6th International Conference on the
             "Foundations of Software Science and Computation Structures" (FOSSACS 2003) part of the
             "European Joint Conferences on Theory and Practice of Software" (ETAPS 2003) , Warsaw, Poland.               with M. Bugliesi, S. Crafa, and V. Sassone
             In Proceedings of the  22th International  Conference on the
             "Foundations of Software Technology and Theoretical Computer Science (FST&TCS 2002),
             Kanpur, India, December 2002.
             Volume 2556, pages 304-320, Lecture Notes in Computer Science, Springer.
             with V. Sassone
             In Proceedings of the 13th International Conference on "Concurrency Theory" (CONCUR 2002),
             Brno, Czech Republic, August 2002.
             Volume 2421, pages 304-320, Lecture Notes in Computer Science, Springer.              with M. Hennessy
             In Conference Record of the 29th International Symposium on "Principle of Programming Languages"
             (POPL 2002), pages 71-80,Portland, Oregon, January 2002.
             A Technical Report can be found at  COGS Library.               with J. Kleist,  and  U. Nestmann
              In Proceedings of the 1st "IFIP International Conference on Theoretical Computer Science" (IFIP TCS2000),
              Sendai, Japan, August 2000.
              Volume 1872, pages 390-408, Lecture Notes in Computer Science, Springer.                In Proceedings of the 3rd International Conference on the
               "Foundations of Software Science and Computation Structures" (FOSSACS 2000) part of the
               "European Joint Conferences on Theory and Practice of Software" (ETAPS 2000)
               Berlin, Germany, March 2000.
               Volume 1784, pages 238-251, Lecture Notes in Computer Science, Springer.                In Proceedings of  the 6th International Workshop on "Expressiveness in Concurrency" (EXPRESS 1999)
               Eindhoven, The Netherlands, August 1999.
               Volume 27  of Electronic Notes in Theoretical Computer Science, Elsevier.                with U. Nestmann, H. Huttel,  and J. Kleist
               In Proceedings of the 5th "European Conference on Parallel Computing" (EURO-PAR 1999),
               Toulouse, France, September 1999,
               Volume 1685, pages 1353-1368, Lecture Notes in Computer Science, Springer.                In Proceedings of the 5th International Workshop on "Expressiveness in Concurrency" (EXPRESS 1998),   
               Nice, France, September 1998,
               Volume 16.2  of Electronic Notes in Theoretical Computer Science, Elsevier.                with D. Sangiorgi
               In Proceedings of the 25th ''International Colloquium on Automata, Languages, and Programming"
               (ICALP 1998), Aalborg, Denmark, July 1998,
               Volume 1443, pages 856-867, Lecture Notes in Computer Science, Springer.                 with A. Maggiolo-Schettini
                In Proceedings of the International Workshop on Analysis and Verification of Multiple-agent Languages                        
                (LOMAPS 1996), Stockholm, Sweden, June 1996, volume 1192, pages 404-429,
                Lecture Notes in Computer Science, Springer.

 

PhD  thesis


  My PhD thesis,  Locality in the pi-calculus and applications to distributed objects , concerns the study of Local pi, an asynchronous fragment of Milner, Parrow, and Walker's pi-calculus where only the output capability of names may be transmitted. This restriction makes Local pi particularly suitable for giving semantics to, and reasoning about, concurrent or distributed object-based languages. As a major application of the theory of Local pi, I study the correctness of object migration in Cardelli's distributed object-based programming language Obliq .