BERGER, M., AND HONDA, K. The Two-Phase Commitment Protocol in an Extended piCalculus. In Electronic Notes in Theoretical Computer Science, L. Aceto and B. Victor, Eds. vol. 39. Elsevier, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2003) (1 citation) (Correct)
....1. Needless to say, transactions and atomic commitment can be implemented in distributed programming languages, and therefore in calculi that are intended to be kernel languages for distributed programming. Berger and Honda provide an implementation of two phase commit in the pi calculus [4]. Along the way they extent the pi calculus with extra syntax for message loss, timers and process failure. Bruni et al. [7] give an implementation of BizTalk [45] in the Join calculus, 23] Biztalk is a graphical design system for modeling transactions using two phase commit. Both this piece of ....
Martin Berger and Kohei Honda. The two-phase commitment protocol in an extended picalculus. In Proceedings of EXPRESS '00: Expressiveness in Concurrency, Electronic Notes in Theoretical Computer Science, pages 105--130. Elsevier.
On the Expressive Power of Polyadic Synchronisation in.. - Carbone, Maffeis (2002) (6 citations) (Correct)
....place. Some of them are presented as extensions of the # calculus, and are based on the idea that processes running in parallel at some location can independently migrate or communicate with other processes, locally or remotely. Examples of languages of this As intended by Berger and Honda in [3] kind are to be found in [15,2,9,7,29,13] From a pragmatic point of view, it emerged clearly that these models were to some extent more appropriate than # calculus to describe physical distribution. From a theoretical point of view, the necessity of these variants has not been stated in general, ....
Berger, M. and K. Honda, The two-phase commitment protocol in an extended pi-calculus, in: Preliminary Proceedings of EXPRESS '00, BRICS Notes Series NS-00-2, 2000, pp. 105--130.
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
No context found.
BERGER, M., AND HONDA, K. The Two-Phase Commitment Protocol in an Extended piCalculus. In Electronic Notes in Theoretical Computer Science, L. Aceto and B. Victor, Eds. vol. 39. Elsevier, 2003.
Transactors: A Programming Model for Maintaining Globally.. - Field, Varela (2005) (Correct)
No context found.
M. Berger and K. Honda. The two-phase commitment protocol in an extended pi-calculus. In Prelim. Proc. EXPRESS '00, NS-00-2, pages 105--130. BRICS Notes, 2000.
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (1 citation) (Correct)
No context found.
M. Berger, K. Honda, The two-phase commitment protocol in an extended pi-calculus, in: Proceedings of EXPRESS '00: Expressiveness in Concurrency, Electronic Notes in Theoretical Computer Science, Elsevier, pp. 105--130.
An Algebraic Approach to Fault Tolerant Distributed Computing - Fuzzati (2004) (Correct)
No context found.
M. Berger and K. Honda. The Two-Phase Commitment Protocol in an Extended piCalculus. In L. Aceto and B. Victor, eds, Proceedings of EXPRESS '00, volume 39.1 of ENTCS. Elsevier Science Publishers, 2000.
Information Societies Technology - Ist Programme Contract (Correct)
No context found.
Martin Berger and Kohei Honda. The two-phase commitment protocol in an extended pi-calculus. In Luca Aceto and Bjorn Victor, editors, Preliminary Proceedings of EXPRESS '00, volume NS00 -2 of BRICS Notes Series, pages 105-130, 2000. The Final Proceedings will be published as volume 39 of ENTCS, Elsevier Science Publishers.
An Equational Theory for Transactions - Black, Cremet, Guerraoui, Odersky (2003) (Correct)
No context found.
Martin Berger and Kohei Honda. The Two-phase Commitment Protocol in an Extended Pi-calculus. In Proceedings of EXPRESS '00, ENTCS, 2000.
Modeling Consensus in a Process Calculus - Uwe Nestmann Rachele (2003) (1 citation) (Correct)
No context found.
M. Berger and K. Honda. The Two-Phase Commitment Protocol in an Extended pi-Calculus. In L. Aceto and B. Victor, eds, Proceedings of EXPRESS '00, volume 39.1 of ENTCS. Elsevier Science Publishers, 2000.
An Equational Theory for Transactions - Andrew Black Vincent (2003) (Correct)
No context found.
Martin Berger and Kohei Honda. The Two-phase Commitment Protocol in an Extended Pi-calculus. In Proceedings of EXPRESS '00, ENTCS, 2000.
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