Synchronization algebras with mobility for graph transformations

Electronic Notes in Theoretical Computer Science

Volumn 138, Issue 1, 2005, Pages 43-60

  Lanese, Ivan ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Fusion Calculus; Graph transformation; Mobility; Synchronization algebra; Synchronized Hyperedge Replacement

Indexed keywords

ALGEBRA; GRAPH THEORY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; SYNCHRONIZATION;

FUSION CALCULUS; GLOBAL COMPUTING; GRAPH TRANSFORMATION; MOBILITY; RESOURCE HANDLING; SYNCHRONIZATION ALGEBRA; SYNCHRONIZED HYPEREDGE REPLACEMENT;

MOBILE TELECOMMUNICATION SYSTEMS;

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

References (15)

1. E. Berlekamp, J. Conway, and R. Guy Winning Ways for your Mathematical Plays, volume 2 1982 Academic Press
2. P. Degano, and U. Montanari A model for distributed systems based on graph rewriting Journal of the ACM (JACM) 34 2 1987 411 449
3. H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In Proc. IEEE Conference on Automata and Switching Theory, pages 167-180, 1973
4. G. Ferrari, U. Montanari, and E. Tuosto A LTS semantics of ambients via graph synchronization with mobility Proc. of ICTCS'01 LNCS volume 2202 October 2001 Springer 1 16
5. O.H. Jensen, and R. Milner Bigraphs and transitions SIGPLAN Not. 38 1 2003 38 49
6. D. Hirsch. Graph Transformation Models for Software Architecture Styles. PhD thesis Departamento de Computación, U.B.A., 2003
7. D. Hirsch, P. Inverardi, and U. Montanari Reconfiguration of software architecture styles with name mobility Proc. of Coordination 2000 LNCS volume 1906 February 2000
8. D. Hirsch, and U. Montanari Synchronized hyperedge replacement with name mobility Proc. of CONCUR'01 LNCS volume 2154 2001 Springer
9. I. 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/work/tesi.ps
10. I. Lanese and U. Montanari. Software architectures, global computing and graph transformation via logic programming. In Proc SBES'2002, pages 11-35. Anais, 2002
11. I. Lanese, and U. Montanari A graphical fusion calculus Proceedings of CoMeta Final Workshop ENTCS 104 2004 199 215
12. I. Lanese and U. Montanari. Mapping fusion and synchronized hyperedge replacement into logic programming. Theory and Practice of Logic Programming, Special Issue on Multiparadigm Languages and Constraint Programming, 2004. Submitted
13. R. Milner, J. Parrow, and D. Walker A calculus of mobile processes Inform. and Comput. 100 1992 1 77
14. J. Parrow, and B. Victor The fusion calculus: Expressiveness and symmetry in mobile processes Proc. of LICS '98 June 1998 IEEE
15. G. Winskel Event structures Petri Nets: Applications and Relationships to Other Models of Concurrency LNCS volume 255 1986 Springer 325 392