Roberto Bruni, Hernan Melgratti, Ugo Montanari  Home/Search
Context Related
| zeus.elet.polimi.it...papunipi2.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: zeus.elet.polim...formato=perData (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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., contract stipulation, distributed agreements, and negotiations with nested choice points to be carried out concurrently. 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... (Update)
Cited by: More
Extending the Zero-Safe approach to Coloured.. - Bruni, Melgratti.. (Correct)
A Prototype Implementation Of Distributed Agreements - Baragatti, Bruni.. (2004) (Correct)
Active bibliography (related documents): More All
0.6: Flat Committed Join in Join - Bruni, Melgratti, Montanari (2003) (Correct)
0.4: Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari (Correct)
0.3: Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (Correct)
Similar documents based on text: More All
0.4: First Order and Higher Order Tile Models for Open and Mobile.. - Bruni, Montanari (2000) (Correct)
0.2: A General Name Binding Mechanism - Michele Boreale Maria (Correct)
0.2: Bisimulation by Unification - Baldan, Bracciali, Bruni (2002) (Correct)
Related documents from co-citation: More All
2: Orchestrating transactions in the Join calculus - Bruni, Laneve et al. - 2002
2: Zero-Safe Nets: Comparing the Collective and the Individual Token Approaches - Bruni, Montanari
BibTeX entry: (Update)
R. Bruni, H. Melgratti, and U. Montanari. Nested commits for mobile calculi: extending Join, 2004. Submitted. http://citeseer.ist.psu.edu/bruni04nested.html More
@misc{ bruni04nested,
author = "R. Bruni and H. Melgratti and U. Montanari",
title = "Nested commits for mobile calculi: extending Join",
text = "R. Bruni, H. Melgratti, and U. Montanari. Nested commits for mobile calculi:
extending Join, 2004. Submitted.",
year = "2004",
url = "citeseer.ist.psu.edu/bruni04nested.html" }
Citations (may not include all citations):297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
159 The chemical abstract machine (context) - Berry, Boudol - 1992
39 The reflexive chemical abstract machine and the Join calculu.. (context) - Fournet, Gonthier - 1996
34 Jocaml: Mobile agents for Objective-Caml - Conchon, Le Fessant - 1999
31 Zero-safe nets: Comparing the collective and individual toke.. - Bruni, Montanari - 2000
19 Modern concurrency abstractions for C - Benton, Cardelli et al. - 2002
17 The contract model (context) - Reuter, Wachter - 1992
10 Orchestrating transactions in join calculus - Bruni, Laneve et al. - 2002
8 Structural operational semantics of akl - Haridi, Janson et al. - 1992
6 Extending the concept of transaction compensation (context) - Butler, Chessell et al. - 2002
4 Control and Recovery in Database Systems (context) - Bernstein, Hadzilacos et al. - 1987
3 A calculus for long-running transactions (context) - Bocchi, Laneve et al. - 2003
1 Available at http://www-106 (context) - Specification, May - 2003
Documents on the same site (http://zeus.elet.polimi.it/is-manet/risorse.php?tipo=pubblicazione&formato=perData): More
Mobile Agent Middlewares for Context-aware Applications - Bellavista, Bottazzi.. (Correct)
Bluetooth and IEEE 802.11 Wireless Protocols: A Survey and a.. - Ferro, Potorti (Correct)
Distributed Motion Coordination with Co-Fields: a Case Study in.. - Franco (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC