A graphical fusion calculus

Electronic Notes in Theoretical Computer Science

Volumn 104, Issue , 2004, Pages 199-215

  Lanese, Ivan ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Fusion Calculus; Graph transformation; Mobility; Synchronized Hyperedge Replacement

Indexed keywords

ALGEBRA; INTERNET; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; SYNCHRONIZATION;

CALCULUS; GRAPH TRANSFORMATIONS; MOBILITY; SYNCHRONIZED HYPEREDGE REPLACEMENT;

GRAPH THEORY;

EID: 23844510945     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.08.026     Document Type: Conference Paper

References (12)

1. Pierpaolo Degano and Ugo Montanari. A model for distributed systems based on graph rewriting. Journal of the ACM (JACM), 34(2):411-449, 1987.
2. H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol.3: Concurrency, Parallellism, and Distribution. World Scientific, 1999.
3. GianLuigi Ferrari, Ugo Montanari, and Emilio Tuosto. A Its semantics of ambients via graph synchronization with mobility. In Simona Ronchi Della Rocca Antonio Restivo and Luca Roversi, editors, Proc. of ICTCS'01, volume 2202 of LNCS, pages 1-16. Springer, October 2001.
4. Dan Hirsch. Graph Transformation Models for Software Architecture Styles. PhD thesis, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina, 2003.
5. Dan Hirsch and Ugo Montanari. Synchronized hyperedge replacement with name mobility. In Springer Verlag, editor, Proc. of CONCUR.'01, LNCS, 2001.
6. Barbara König and Ugo Montanari. Observational equivalence for synchronized graph rewriting. In Springer Verlag, editor, Proc. TACS'01, volume 2215 of LNCS, January 2001.
7. Ivan Lanese. Process synchronization in distributed systems via Horn clauses. Master's thesis, University of Pisa, Computer Science Department, 2002. Downloadable from http://www.di.unipi.it/~lanese/tesi.ps.
8. Ivan Lanese and Ugo Montanari. Software architectures, global computing and graph transformation via logic programming. In Leila Ribeiro, editor, Proc SBES'2002 - 16th Brazilian Symposium on Software Engineering, pages 11-35. Anais, 2002.
9. Robin Milner. A calculus of communicating systems. In Lect. Notes in Comp. Sci., volume 92. Springer, Berlin, 1989.
10. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes. Inform. and Comput., 100:1-77, 1992.
11. Joachim Parrow and Björn Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In Proceedings of LICS '98. IEEE, Computer Society Press, June 1998.
12. G. Rozenberg, editor. Handbook of graph grammars and computing by graph transformations, vol. 1: Foundations. World Scientific, 1997.