Synchronous Multiparty Synchronizations and Transactions

Authors:
Ivan Lanese;Hernán Melgratti
Affiliations:
Dipartimento di Scienze dell'Informazione, Università di Bologna,;Departamento de Computación, FCEyN, Universidad de Buenos Aires,
Venue:
Concurrency, Graphs and Models
Year:
2008

Citing 15
Cited 0

A2CCS: atomic actions for CCS

Theoretical Computer Science - Special issue on the Thirteenth Colleque sur les Arbres en Alge`bre et en Programmation Nancy, March 1988
A calculus of mobile processes, I

Information and Computation
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Zero-safe nets: comparing the collective and individual token approaches

Information and Computation - Special issue on EXPRESS 1997
A LTS Semantics of Ambients via Graph Synchronization with Mobility

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Synchronized Hyperedge Replacement with Name Mobility

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Reconfiguration of Software Architecture Styles with Name Mobility

COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Graph Grammars for distributed systems

Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes

LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Concurrent models for Linda with transactions

Mathematical Structures in Computer Science
A Process Calculus of Atomic Commit

Electronic Notes in Theoretical Computer Science (ENTCS)
A Graphical Fusion Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronization Algebras with Mobility for Graph Transformations

Electronic Notes in Theoretical Computer Science (ENTCS)
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility

Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations of web transactions

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we analyze how a powerful synchronization mechanism such as synchronous multiparty synchronizations, which is able to specify atomic reconfigurations of large systems, can be implemented using binary synchronizations combined with a transactional mechanism. To this aim we show a mapping from SHR, a graph transformation framework allowing multiparty synchronizations, to a generalization of Fusion Calculus featuring a transactional mechanism inspired by the Zero-Safe Petri nets. To complete the correspondence between the two formalisms we also present a mapping in the opposite direction.