Paper Info
Title
Nested Commits for Mobile Calculi: Extending Join
Abstract
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distributed agreements and negotiations with nested choice points. We propose a linguistic extension of the Join calculus for programming nested commits, called Committed Join (cJoin). It provides primitives for explicit abort, programmable compensations and interactions between negotiations. We give the operational semantics of cJoin in the reflexive CHAM style. Then we discuss its expressiveness on the basis of a few examples and encodings. Finally, we provide a big-step semantics for cJoin processes that can be typed as shallow and we show that shallow processes are serializable.
Year
DOI
Venue
2004
10.1007/1-4020-8141-3_43
INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING
Keywords
Field
DocType
operational semantics
Abort,Reflexivity,Join-calculus,Operational semantics,Serialization,Programming language,Computer science,Sort-merge join,Semantics,Negotiation,Distributed computing
Conference
Volume
ISSN
Citations 
155
1571-5736
36
PageRank 
References 
Authors
1.86
16
3
Name
Order
Citations
PageRank
Roberto Bruni1123880.58
Hernán C. Melgratti28213.49
Ugo Montanari362971135.53