BRUNI, R., LANEVE, C., AND MONTANARI, U. Orchestrating transactions in the join calculus. In International Conferenec on Concurrency Theory (Brno, Czech Republic, Aug.), L. Brim, M. K. Petr Jancar, and A. Kucera, Eds. vol. 2421 of Lecture Notes in Computer Science. 2002, pp. 321--337. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Requirements for a Global Computing Programming Model - Stefani (2003) (Correct)
....resilient distributed systems. One should expect a global computing programming model to provide support for such abstractions, either in the form of in built constructs (see e.g. the ATF calculus [11] or derived ones (see e.g. the construction of transactions in the Join calculus given in [7]) Discussion This requirement is strongly related to the requirement on supporting distributed coordination 6.2. Indeed orchestrating and coordinating services in a dynamic distributed environment requires appropriate abstractions for atomic and recoverable pieces of activities. This is ....
....the requirement on supporting distributed coordination 6.2. Indeed orchestrating and coordinating services in a dynamic distributed environment requires appropriate abstractions for atomic and recoverable pieces of activities. This is reflected e.g. in Microsoft s Biztalk language, formalized in [7]. At the same time, models of (extended) transactions abound, which extend or relax the classical ACID properties of transactions with various atomicity properties, dependencies between transactions, different forms of visibility and conflicts between transactions [10] To what extent a global ....
R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in Join calculus. In Proceedings of Concur'02, LNCS 2421, Springer, 2002.
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2003) (1 citation) (Correct)
....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 work, and Berger and Honda s pi calculus model, aim to make a testbed for a basic instance of a single kind of atomic ....
R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in the Join calculus. In CONCUR 2002.
Extending the Zero-Safe approach to Coloured.. - Bruni, Melgratti.. Self-citation (Bruni Montanari) (Correct)
No context found.
R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in join calculus. In L. Brim, P. Jancar, M. Kretinsky, and A. Kucera, editors, Proceedings of CONCUR 2002, 13th International Conference on Concurrency Theory, volume 2421 of Lect. Notes in Comput. Sci., pages 321-336. Springer Verlag, 2002.
Nested commits for mobile calculi: extending Join - Bruni, Melgratti, Montanari (2004) Self-citation (Bruni Montanari) (Correct)
No context found.
R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in join calculus. In L. Brim, P. Jancar, M. Kretinsky, and A. Kucera, editors, Proceedings of CONCUR 2002, volume 2421 of Lect. Notes in Comput. Sci., pages 321--336. Springer Verlag, 2002.
Flat Committed Join in Join - Bruni, Melgratti, Montanari (2003) Self-citation (Bruni Montanari) (Correct)
No context found.
Bruni, R., C. Laneve and U. Montanari, Orchestrating transactions in join calculus, in: L. Brim, P. Jancar, M. Kretinsky and A. Kucera, editors, Proceedings of CONCUR
Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari Self-citation (Laneve Montanari) (Correct)
No context found.
R. Bruni, C. Laneve and U. Montanari. Orchestrating transactions in join calculus, Proc. CONCUR 2002, Lect. Notes in Comput. Sci.. Springer, 2002. To appear.
A Prototype Implementation Of Distributed Agreements - Baragatti, Bruni.. (2004) Self-citation (Bruni Montanari) (Correct)
No context found.
R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in join calculus. In L. Brim, P. Jancar, M. Kretinsky, and A. Kucera, editors, Proceedings of CONCUR 2002, 13th International Conference on Concurrency Theory, volume 2421 of Lect. Notes in Comput. Sci., pages 321-336. Springer Verlag, 2002.
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
No context found.
BRUNI, R., LANEVE, C., AND MONTANARI, U. Orchestrating transactions in the join calculus. In International Conferenec on Concurrency Theory (Brno, Czech Republic, Aug.), L. Brim, M. K. Petr Jancar, and A. Kucera, Eds. vol. 2421 of Lecture Notes in Computer Science. 2002, pp. 321--337.
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2004) (1 citation) (Correct)
No context found.
R. Bruni, C. Laneve, U. Montanari, Orchestrating transactions in the Join calculus, in: CONCUR 2002.
Concurrent Construction of Proof-Nets - Andreoli, Mazare (2003) (Correct)
No context found.
R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in join calculus. In L. Brim, P. Jancar, M. Kretnsky, and A. Kucera, editors, Proc. of 13th Int'l Conference on Concurrency Theory, volume 2421 of Lecture Notes in Computer Science, pages 321--337, Brno, Czech Republic, 2002. Springer Verlag.
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