Nested commits for mobile calculi: Extending join

IFIP Advances in Information and Communication Technology

Volumn 155, Issue , 2004, Pages 563-576

  Bruni, Roberto ^a   Melgratti, Hernán ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS;

BIG-STEP SEMANTICS; COMMITTED JOIN; DISTRIBUTED AGREEMENT; ENCODINGS; GLOBAL COMPUTING; JOIN CALCULUS; MOBILE CALCULI; OPERATIONAL SEMANTICS;

SEMANTICS;

EID: 84901003580     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/1-4020-8141-3_43     Document Type: Conference Paper

References (17)

1. 1. Proc. of ECOOP 2002, LNCS 2374, pp. 415-440. Springer Verlag, 2002.
2. P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency, Control and Recovery in Database Systems. Addison-Wesley Longman, 1987.
3. G. Berry and G. Boudol. The chemical abstract machine. TCS, 96(1):217-248, 1992.
4. L. Bocchi, C. Laneve, and G. Zavattaro. A calculus for long-running transactions. Proc. of FMOODS'03, LNCS 2884, pp. 194-208. Springer Verlag, 2003.
5. R. Bruni, H. Melgratti, and U. Montanari. Flat Committed Join in Join. Proc. of COMETA 2003, ENTCS. To appear.
6. BPEL Specification, May 2003. http://www-106.ibm.com/developerworks/ webservices/library/ws-bpel/.
7. R. Bruni, C. Laneve, and U. Montanari. Orchestrating transactions in join calculus. Proc. of CONCUR 2002, LNCS 2421, pp. 321-336. Springer Verlag, 2002.
8. R, Bruni and U. Montanari. Zero-safe nets: Comparing the collective and individual token approaches. Inform. and Comput., 156(1-2):46-89, 2000.
9. M. Butler, M. Chessell, C. Ferreira, C. Griffin, P. Henderson, and D. Vines. Extending the concept of transaction compensation. IBM Systems Journal, 41(4):743-758, 2002.
10. S. Conchon and F. Le Fessant. Jocaml: Mobile agents for Objective-Caml. Proc. of ASA'99/MA'99, 1999.
11. D. Duggan. Abstractions for Fault-Tolerant Global Computing. TCS. To appear.
12. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the Join calculus. Proc. of POPL'96, pp. 372-385. ACM Press, 1996.
13. S. Haridi, S. Janson, and C. Palamidessi. Structural operational semantics of AKL. Journal of Future Generation Computer Systems, 8:409-421, 1992.
14. M. Mazzara and R. Lucchi. A framework for generic error handling in business processes. Proc. of WS-FM'04, ENTCS. To appear.
15. A. Reuter and H. Wächter. The contract model. Transaction Models for Advanced Applications. Morgan Kaufmann, 1992.
16. U. Roxburgh. Biztalk orchestration: transactions, exceptions, and debugging, 2001. http: //msdn.microsoft.com/library/en-us/dnbiz/html/btsorch.asp.
17. J. Vitek, S. Jagannathan, A. Welc, and A. L. Hosking. A Semantic Framework for Designer Transactions. Proc. of ESOP'04, LNCS 2986, pp. 249-263. Springer Verlag, 2004.