Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility
暂无分享,去创建一个
[1] Ugo Montanari,et al. Synchronized Hyperedge Replacement with Name Mobility , 2001, CONCUR.
[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. Synchronization Algebras with Mobility for Graph Transformations , 2005, FGUC.
[5] Emilio Tuosto,et al. A LTS Semantics of Ambients via Graph Synchronization with Mobility , 2001, ICTCS.
[6] Jan A. Bergstra,et al. The Algebra of Recursively Defined Processes and the Algebra of Regular Processes , 1984, ICALP.
[7] Dan Hirsch,et al. Graph Transformation Models for Software Architecture Styles , 2003 .
[8] Ivan Lanese,et al. Synchronization Strategies for Global Computing Models , 2006 .
[9] Ivan Lanese,et al. Synchronized Hyperedge Replacement for Heterogeneous Systems , 2005, COORDINATION.
[10] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[11] Ivan Lanese,et al. Mapping Fusion and Synchronized Hyperedge Replacement into logic programming* , 2005, Theory and Practice of Logic Programming.
[12] Ugo Montanari,et al. A model for distributed systems based on graph rewriting , 1987, JACM.