Comparing Two Approaches to Compensable Flow Composition-Reference-Cited by-同舟云学术

Comparing Two Approaches to Compensable Flow Composition

Published:2005 Issue: Volume: Page:383-397
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bruni Roberto,Butler Michael,Ferreira Carla,Hoare Tony,Melgratti Hernán,Montanari Ugo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11539452_30

Reference16 articles.

1. Lecture Notes in Computer Science;L. Bocchi,2003

2. BPEL Specification (v.1.1), http://www.ibm.com/developerworks/library/ws-bpel

3. Business Process Modeling Language (BPML), http://www.bpmi.org/BPML.htm

4. Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Lévy, J.-J., Mayr, E., Mitchell, J. (eds.) Proceedings of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science, pp. 569–582. Kluwer Academic Publishers, Dordrecht (2004)

5. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proceedings of POPL 2005, 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209–220. ACM Press, New York (2005)

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. List of Tony Hoare’s Publications;Theories of Programming;2021-10-02

2. CaSPiS: a calculus of sessions, pipelines and services;Mathematical Structures in Computer Science;2014-11-10

3. cJoin: Join with communicating transactions;Mathematical Structures in Computer Science;2014-11-10

4. Compensation by design;Formal Aspects of Computing;2014-07

5. General dynamic recovery for compensating CSP;Electronic Proceedings in Theoretical Computer Science;2014-03-29