Orchestrating transactions in join calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2421 LNCS, Issue , 2002, Pages 321-337

  Bruni, Roberto ^a   Laneve, Cosimo ^b   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; TOPOLOGY; COMPUTATIONAL LINGUISTICS;

COMMUNICATION TOPOLOGIES; DISTRIBUTED CALCULI; DISTRIBUTED TRANSACTION; JOIN CALCULUS; LANGUAGE INDEPENDENTS; OPERATIONAL MODEL; ORIGINAL ALGORITHMS;

CALCULATIONS;

EID: 84874714120     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45694-5_22     Document Type: Conference Paper

References (18)

1. P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency, Control and Recovery in Database Systems. Addison-Wesley Longman, 1987.
2. G. Berry and G. Boudol. The chemical abstract machine. Theoret. Comput. Sci., 96(1):217-248, 1992.
3. R. Bruni, C. Laneve, and U. Montanari. Centralized and distributed orchestration of transactions in the join-calculus. Technical Report, University of Pisa. To appear. http://www.di.unipi.it/~bruni/publications/TRbis2002.ps.gz
4. R. Bruni and U. Montanari. Zero-safe nets, or transition synchronization made simple. Proc. of EXPRESS'97, vol. 7 of Elect. Notes in Th. Comput. Sci. Elsevier Science, 1997.
5. R. Bruni and U. Montanari. Zero-safe nets: Comparing the collective and individual token approaches. Inform. and Comput., 156(1-2):46-89, 2000.
6. R. Bruni and U. Montanari. Transactions and zero-safe nets. Advances in Petri Nets: Unifying Petri Nets, vol. 2128 of Lect. Notes in Comput. Sci., pp. 380-426. Springer, 2001.
7. R. Bruni and U. Montanari. Zero-safe net models for transactions in linda. Proc. of ConCoord 2001, vol. 54 of Elect. Notes in Th. Comput. Sci., 2001.
8. M. Buscemi and V. Sassone. High-level Petri nets as type theories in the Join calculus. Proc. of FoSSaCS 2001, vol. 2030 of Lect. Notes in Comput. Sci., pp. 104-120. Springer, 2001.
9. A. Coratella, M. Felder, R. Hirsch, and E. Rodriguez. A framework for analyzing mobile transaction. Journal of Database Management, 12(13), 2001.
10. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the Join calculus. Proc. of POPL'96, pp. 372-385. ACM Press, 1996.
11. C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A calculus of mobile agents. Proc. of CONCUR'96, vol. 1119 of Lect. Notes in Comput. Sci., pp. 406-421. Springer, 1996.
12. R. J. van Glabbeek and G. D. Plotkin. Configuration structures. Proc. of LICS'95, pp. 199-209. IEEE Computer Society Press, 1995.
13. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
14. T. Hoare. A Model for Long-Running Transactions in XLANG. Preliminary draft, 2001.
15. B. Laskey and J. Parker. Microsoft biztalk server 2000: Building a reverse auction with biztalk orchestration, 2001. Microsoft Corporation. Available at [18].
16. W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, 1985.
17. U. Roxburgh. Biztalk orchestration: Transactions, exceptions, and debugging, 2001. Microsoft Corporation. Available at [18].
18. URL http://msdn.microsoft.com/library/en-us/dnbiz/html/bizorchestr.asp.