A LTS semantics of ambients via graph synchronization with mobility

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2202, Issue , 2001, Pages 1-16

  Ferrari, Gianluigi ^a   Montanari, Ugo ^a   Tuosto, Emilio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); SEMANTICS;

AMBIENT CALCULUS; AMBIENTS; EDGE REPLACEMENT; FLEXIBLE MODEL; GRAPH TRANSFORMATION; LABELLED TRANSITION SYSTEMS; LOCAL SYNCHRONIZATIONS; REALISTIC MODEL;

TREES (MATHEMATICS);

EID: 84962877678     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45446-2_1     Document Type: Conference Paper

References (15)

1. Luca Cardelli and Andrew D. Gordon. A commitment relation for the ambient calculus. Manuscript.
2. Luca Cardelli and Andrew D. Gordon. Mobile ambients. TCS: Theoretical Computer Science, 240, 2000.
3. Ilaria Castellani and Ugo Montanari. Graph Grammars for Distributed Systems. In Hartmut Ehrig, Manfred Nagl, and Grzegorz Rozenberg, editors, Proc. 2nd Int. Workshop on Graph-Grammars and Their Application to Computer Science, volume 153 of Lecture Notes in Computer Science, pages 20–38. Springer-Verlag, 1983
4. Rocco De Nicola, Gianluigi Ferrari, and Rosario Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5):315–330, May 1998. Special Issue: Mobility and Network Aware Computing.
5. P. Degano and Ugo Montanari. A model of distributed systems based of graph rewriting. Journal of the ACM, 34:411–449, 1987.
6. Gianluigi Ferrari, Carlo Montangero, Laura Semini, and Simone Semprini. Mobile agents coordination in Mobadtl. In Antonio Porto and Gruia-Catalin Roman, editors, Coordination Languages and Models, volume 1906 of LNCS. Springer Verlag, 2000.
7. Cedric Fournet and George Gonthier. The reflexive CHAM and the join-calculus. In Conference Record of POPL’96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 372–385, St. Petersburg Beach, Florida, 21–24 January 1996.
8. Dan Hirsch, Paola Inverardi, and Ugo Montanari. Reconfiguration of software architecture styles with name mobility. In Antonio Porto and Gruia-Catalin Roman, editors, Coordination 2000, volume 1906 of LNCS, pages 148–163. Springer Verlag, 2000.
9. Dan Hirsh and Ugo Montanari. Synchronized hyperedge replacement with name mobility. In To appear in CONCUR01, 2001.
10. Barbara Koenig and Ugo Montanari. Observational equivalence for synchronized graph rewriting. In Proc. TACS’01, LNCS. Springer Verlag, 2001. To appear.
11. Ugo Montanari and Francesca Rossi. Graph rewriting and constraint solving for modelling distributed systems with synchronization. In P. Ciancarini and C. Hankin, editors, Proceedings of the First International Conference COORDINATION’96, Cesena, Italy, volume 1061 of LNCS. Springer Verlag, April 1996.
12. Gian Pietro Picco, Amy L. Murphy, and Gruia-Catalin Roman. Lime: Linda Meets Mobility. In D. Garlan, editor, Proceedings of the 21st International Conference on Software Engineering (ICSE’99), pages 368–377, Los Angeles, CA, USA, May 1999. ACM Press. Also available as Technical Report WUCS-98-21, July 1998, Washington University in St. Louis, MO, USA.
13. Gruia-Catalin Roman, Peter J. McCann, and J. Y. Plunn. Mobile UNITY: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology, 6(3):250–282, July 1997.
14. Peter Sewell. From rewrite rules to bisimulation congruences. Lecture Notes in Computer Science, 1466, 1998.
15. Bjorn Victor and Joachim Parrow. Concurrent constraints in the fusion calculus. Lecture Notes in Computer Science, 1443, 1998.