Mapping Fusion and synchronized hyperedge replacement into logic programming

Theory and Practice of Logic Programming

Volumn 7, Issue 1-2, 2007, Pages 123-151

  Lanese, Ivan ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Fusion calculus; Graph transformation; Logic programming; Mobility; Synchronized hyperedge replacement

Indexed keywords

ALGEBRA; GRAPH THEORY; MAPPING; SEMANTICS; SYNCHRONIZATION;

FUSION CALCULUS; GRAPH TRANSFORMATIONS; MAPPING FUSION;

LOGIC PROGRAMMING;

EID: 33847045617     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S147106840600281X     Document Type: Article

References (24)

1. BRUNI, R. AND MONTANARI, U. 2000. Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation 156, 1-2, 46-89.
2. BRUNI, R., MONTANARI, U., AND ROSSI, F. 2001. An interactive semantics of logic programming. Theory and Practice of Logic Programming 1, 6, 647-690.
3. DEGANO, P. AND MONTANARI, U. 1987. A model for distributed systems based on graph rewriting. Journal of the ACM (JACM) 34, 2, 411-449.
4. EHRIG, H., KREOWSKI, H.-J., MONTANARI, U., AND ROZENBERG, G., Eds. 1999. Handbook of Graph Grammars and Computing by Graph Transformation, Vol.3: Concurrency, Parallelism, and Distribution. World Scientific.
5. EHRIG, H., PFENDER, M., AND SCHNEIDER, H. J. 1973. Graph grammars: an algebraic approach. In Proc. of IEEE Conference on Automata and Switching Theory. IEEE Computer Society, 167-180.
6. FERRARI, G. L., MONTANARI, U., AND TUOSTO, E. 2001. A LTS semantics of ambients via graph synchronization with mobility. In Proc. of ICTCS'01. LNCS, vol. 2202. Springer, 1-16.
7. GARDNER, P. AND WISCHIK, L. 2000. Explicit fusions. In Mathematical Foundations of Computer Science. 373-382.
8. GARDNER, P. AND WISCHIK, L. 2004. Strong bisimulation for the explicit fusion calculus. In Proc. of FoSSaCS'04. LNCS, vol. 2987. Springer, 484-498.
9. HIRSCH, D. 2003. Graph transformation models for software architecture styles. Ph.D. thesis, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina.
10. HIRSCH, D., INVERARDI, P., AND MONTANARI, U. 2000. Reconfiguration of software architecture styles with name mobility. In Proc. of COORDINATION 2000. LNCS, vol. 1906. Springer, 148-163.
11. HIRSCH, D. AND MONTANARI, U. 2001. Synchronized hyperedge replacement with name mobility. In Proc. of CONCUR'01 LNCS, vol. 2154. Springer, 121-136.
12. JENSEN, O. H. AND MILNER, R. 2003. Bigraphs and transitions. SIGPLAN Not. 38, 1, 38-49.
13. KÖNIG, B. AND MONTANARI, U. 2001. Observational equivalence for synchronized graph rewriting. In Proc. of TACS'01. LNCS, vol. 2215. Springer, 145-164.
14. LANESE, I. 2002. Process synchronization in distributed systems via Horn clauses. M.S. thesis, Computer Science Department, University of Pisa, Pisa, Italy. Downloadable from http://www.di.unipi.it/~lanese/tesi.ps.
15. LANESE, I. 2006. Synchronization strategies for global computing models. Ph.D. thesis, Computer Science Department, University of Pisa, Pisa, Italy. Forthcoming.
16. LANESE, I. AND MONTANARI, U. 2002. Software architectures, global computing and graph transformation via logic programming. In Proc. SBES'2002 - 16th Brazilian Symposium on Software Engineering. Anais, 11-35.
17. LANESE, I. AND MONTANARI, U. 2004a. A graphical fusion calculus. In Proc. of the Workshop of the COMETA Project on Computational Metamodels. Electronic Notes in Theoretical Computer Science, vol. 104. Elsevier Science, 199-215.
18. LANESE, I. AND MONTANARI, U. 2004b. Synchronization algebras with mobility for graph transformations. In Proc. of FGUC'04 - Foundations of Global Ubiquitous Computing. Electronic Notes in Theoretical Computer Science, vol. 138. Elsevier Science, 43-60.
19. LANESE, I. AND MONTANARI, U. 2005. Mapping fusion and synchronized hyperedge replacement into logic programming. Computing Research Repository (http://arxiv.org/corr/home). Paper n. cs.LO/0504050.
20. LLOYD, J. W. 1993. Foundations of Logic Programming, Second Extended Edition. Springer.
21. MILNER, R., PARROW, J., AND WALKER, D. 1992. A calculus of mobile processes. Information and Computation 100, 1-77.
22. PARROW, J. AND VICTOR, B. 1998. The fusion calculus: Expressiveness and symmetry in mobile processes. In Proc. of LICS '98. IEEE, Computer Society Press.
23. SANOIORGI, D. 1993. A theory of bisimulation for the pi-calculus. In Proc. of CONCUR'93. LNCS, vol. 715. Springer, 127-142.
24. VICTOR, B. 1998. The fusion calculus: Expressiveness and symmetry in mobile processes. Ph.D. thesis, Dept. of Computer Systems, Uppsala University, Sweden.