A Trace Semantics for Long-Running Transactions-Reference-Cited by-同舟云学术

A Trace Semantics for Long-Running Transactions

Published:2005 Issue: Volume: Page:133-150
ISSN:0302-9743
Container-title:Communicating Sequential Processes. The First 25 Years
language:
Short-container-title:

Author:

Butler Michael,Hoare Tony,Ferreira Carla

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11423348_8

Reference11 articles.

1. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005 (2005)

2. Lecture Notes in Computer Science;M. Butler,2000

3. Lecture Notes in Computer Science;M. Butler,2004

4. Chessell: M., Vines, D., Griffin, C., Green, V., Warr, K.: Business process beans: System design and architecture document. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories (January 2001)

5. Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business process execution language for web services, version 1.1 (2003), http://www-106.ibm.com/developerworks/library/ws-bpel/

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

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

2. Service Orchestration with Priority Constraints;Fundamentals of Software Engineering;2019

3. Learning Planning Model for Semantic Process Compensation;Service Research and Innovation;2018

4. An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems;Formal Aspects of Computing;2017-03

5. Attribute-based transactions in service oriented computing;Mathematical Structures in Computer Science;2014-11-10