Insights emerged while comparing three models for global computing

In this paper we outline the main ideas emerged while study- ing a chain of mappings from Fusion Calculus to logic programming, us- ing Synchronized Hyperedge Replacement (with both Hoare and Milner synchronizations) as intermediate step. We aim more at discussing the ideas behind the mappings than at presenting their technical details.

[1]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[2]  Björn Victor,et al.  The fusion calculus: expressiveness and symmetry in mobile processes , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[3]  Ivan Lanese,et al.  A Graphical Fusion Calculus , 2004, Electron. Notes Theor. Comput. Sci..

[4]  Ivan Lanese,et al.  Synchronized Hyperedge Replacement for Heterogeneous Systems , 2005, COORDINATION.

[5]  Ivan Lanese,et al.  Synchronization Algebras with Mobility for Graph Transformations , 2005, FGUC.

[6]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[7]  Dan Hirsch,et al.  Graph Transformation Models for Software Architecture Styles , 2003 .

[8]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[9]  Glynn Winskel,et al.  Synchronization Trees , 1984, Theor. Comput. Sci..

[10]  Ivan Lanese,et al.  Mapping Fusion and Synchronized Hyperedge Replacement into logic programming* , 2005, Theory and Practice of Logic Programming.

[11]  Emilio Tuosto,et al.  A LTS Semantics of Ambients via Graph Synchronization with Mobility , 2001, ICTCS.

[12]  Nancy A. Lynch,et al.  A hundred impossibility proofs for distributed computing , 1989, PODC '89.

[13]  Roberto Bruni,et al.  Zero-Safe Nets: Comparing the Collective and Individual Token Approaches , 2000, Inf. Comput..

[14]  Roberto Bruni,et al.  PRISMA : A parametric calculus based on synchronization algebras with mobility , 2005 .

[15]  Ugo Montanari,et al.  Synchronized Hyperedge Replacement with Name Mobility , 2001, CONCUR.

[16]  Catuscia Palamidessi,et al.  Comparing the expressive power of the synchronous and the asynchronous π-calculus , 1998, POPL '97.

[17]  Ugo Montanari,et al.  A model for distributed systems based on graph rewriting , 1987, JACM.