A process calculus of atomic commit

Electronic Notes in Theoretical Computer Science

Volumn 105, Issue 1-4 SUPPL., 2004, Pages 119-132

  Bocchi, Laura ^a   Wischik, Lucian ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

2PCP; Atomic commit protocol; pi calculus bisimulation; Synchronous rendezvous

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER SIMULATION; DATABASE SYSTEMS; FORMAL LANGUAGES; SEMANTICS; SYNCHRONIZATION; WORLD WIDE WEB;

2PCP; ATOMIC COMMIT PROTOCOLS; PI CALCULUS BISIMULATION; SYNCHRONOUS RENDEZVOUS;

CONCURRENT ENGINEERING;

EID: 10444243518     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.05.003     Document Type: Conference Paper

References (14)

1. Berger, M. and K. Honda, The two-phase commitment protocol in an extended pi-calculus, in: EXPRESS '00, Electronic Notes in Theoretical Computer Science 39 (2000). URL ftp://ftp.des.qmw.ac.uk/lfp/martinb/express00.ps.gz
2. Bernstein, P. A., V. Hadzilacos and N. Goodman, "Concurrency Control and Recovery in Database Systems," Addison-Wesley, 1987. URL http://research.microsoft.com/pubs/ccontrol/
3. Black, A., V. Cremet, R. Guerraoui and M. Odersky, An equational theory for transactions, in: G. Goose, J. Hartmanis and J. van Leeuwen, editors, FSTTCS 2003, Lecture Notes in Computer Science 2914 (2003), pp. 38-49. URL http://www.cse.ogi.edu/~black/publications/fsttcs221.pdf
4. Bocchi, L., A calculus for long running transactions, in: FASE 2004, 2004, to appear. URL http://www.cs.unibo.it/~bocchi/pubs.html
5. Bocchi, L., C. Laneve and G. Zavattaro, A calculus for long running transactions, in: E. Najm, U. Nestmann and P. Stevens, editors, FMOODS 2003, Lecture Notes in Computer Science 2884 (2003), pp. 124-138. URL http://www.cs.unibo.it/~laneve/papers/biztalk.pdf
6. Bruni, R., C. Laneve and U. Montanari, Orchestrating transactions in join calculus, in: L. Brim, P. Jančar, M. Křetinský and A. Kučera, editors, CONCUR 2002, Lecture Notes in Computer Science 2421 (2002), pp. 321-337. URL http://www.es.unibo.it/~laneve/papers/zsimpl.ps
7. Business Process Management Initiative, Business process modelling notation (BPML), website. URL http://www.bpmi.org/
8. Cabrera, F., G. Copeland, B. Cox, T. Freund, J. Klein, T. Storey and S. Thatte, Web services transactions, website. URL http://www-106.ibm.com/developerworks/webservices/library/ws-transpec/
9. Dalal, S., S. Temel, M. Little, M. Potts and J. Webber, Coordinating business transactions on the web, IEEE Internet Computing 7 (2003), pp. 30-39. URL http://csdl.computer.org/comp/mags/ic/2003/01/w1030abs.htm
10. Fournet, C. and G. Gonthier, The reflexive chemical abstract machine and the join-calculus, in: Proceedings of POPL '96, ACM (1996), pp. 372-385. URL http://research.microsoft.com/~fournet/papers/ref lexive-cham-join-calculus.ps
11. Microsoft, Biztalk server, website. URL http://www.microsoft.com/biztalk/
12. Milner, R., "Communicating and mobile systems: the Pi-calculus," Cambridge University Press, 1999.
13. Nestmann, U., R. Fuzzati and M. Merro, Modeling consensus in process calculus, in: R. Amadio and D. Lugiez, editors, CONCUR 2003, Lecture Notes in Computer Science 2761 (2003), pp. 400-414. URL http://lamp.epfl.ch/~uwe/doc/nestmann.fuzzati.merro-concur03.pdf
14. Palamidessi, C., Comparing the expressive power of the synchronous and the asynchronous pi-calculus, in: POPL'97, ACM SIGPLAN/SIGACT (1997), pp. 256-265. URL http://www.cse.psu.edu/~catuscia/papers/pi_calc/popl.ps