Roberto Bruni
Michael J. Butler
Carla Ferreira
C. A. R. Hoare
Hernán C. Melgratti
Ugo Montanari
2005
Comparing Two Approaches to Compensable Flow Composition
Martín Abadi
Luca de Alfaro
CONCUR 2005, Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Lecture Notes in Computer Science
3653
Springer
383–397
10.1007/11539452_30
Roberto Bruni
Anne Kersten
Ivan Lanese
Giorgio Spagnolo
2012
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions
Till Mossakowski
Hans-Jörg Kreowski
Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Lecture Notes in Computer Science
7137
Springer
42–60
10.1007/978-3-642-28412-0_5
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
2005
Theoretical foundations for compensations in flow composition languages
Jens Palsberg
Martín Abadi
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005
ACM
209–220
10.1145/1040305.1040323
Michael J. Butler
C. A. R. Hoare
Carla Ferreira
2005
A Trace Semantics for Long-Running Transactions
Ali E. Abdallah
Cliff B. Jones
Jeff W. Sanders
Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers
Lecture Notes in Computer Science
3525
Springer
133–150
10.1007/11423348_8
Michael J. Butler
Shamim Ripon
2005
Executable Semantics for Compensating CSP
Mario Bravetti
Leïla Kloul
Gianluigi Zavattaro
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Lecture Notes in Computer Science
3670
Springer
243–256
10.1007/11549970_18
Zhenbang Chen
Zhiming Liu
2010
An Extended cCSP with Stable Failures Semantics
Ana Cavalcanti
David Déharbe
Marie-Claude Gaudel
Jim Woodcock
Theoretical Aspects of Computing, ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
Lecture Notes in Computer Science
6255
Springer
121–136
10.1007/978-3-642-14808-8_9
Zhenbang Chen
Zhiming Liu
Ji Wang
2011
Failure-Divergence Refinement of Compensating Communicating Processes
Michael Butler
Wolfram Schulte
FM 2011: Formal Methods, 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Lecture Notes in Computer Science
6664
Springer
262–277
10.1007/978-3-642-21437-0_21
Jim Gray
Andreas Reuter
1993
Transaction Processing: Concepts and Techniques
Morgan Kaufmann
Claudio Guidi
Ivan Lanese
Fabrizio Montesi
Gianluigi Zavattaro
2008
On the interplay between fault handling and request-response service invocations
Jonathan Billington
Zhenhua Duan
Maciej Koutny
8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008
IEEE
190–198
10.1109/ACSD.2008.4574611
Claudio Guidi
Roberto Lucchi
Roberto Gorrieri
Nadia Busi
Gianluigi Zavattaro
2006
SOCK: A Calculus for Service Oriented Computing
Asit Dan
Winfried Lamersdorf
Service-Oriented Computing, ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings
Lecture Notes in Computer Science
4294
Springer
327–338
10.1007/11948148_27
C. A. R. Hoare
1985
Communicating Sequential Processes
Prentice-Hall
Ivan Lanese
Cátia Vaz
Carla Ferreira
2010
On the Expressive Power of Primitives for Compensation Handling
Andrew D. Gordon
Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Lecture Notes in Computer Science
6012
Springer
366–386
10.1007/978-3-642-11957-6_20
Ivan Lanese
Cátia Vaz
Carla Ferreira
2011
On the Expressive Power of Primitives for Compensation Handling
Journal version of l2010, submitted
Cosimo Laneve
Gianluigi Zavattaro
2005
Foundations of Web Transactions
Vladimiro Sassone
Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005
Lecture Notes in Computer Science
3441
Springer
282–298
10.1007/978-3-540-31982-5_18
Shamim Ripon
2008
Extending and Relating Semantic Models of Compensating CSP
University of Southampton
http://eprints.soton.ac.uk/266584/
A. W. Roscoe
1998
The theory and practice of concurrency
Prentice Hall
http://www.cs.ox.ac.uk/people/bill.roscoe/publications/68b.pdf
A.W. Roscoe
2010
Understanding Concurrent Systems
Texts in Computer Science
Springer
10.1007/978-1-84882-258-0
Cátia Vaz
Carla Ferreira
António Ravara
2009
Dynamic Recovering of Long Running Transactions
Christos Kaklamanis
Flemming Nielson
Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Lecture Notes in Computer Science
5474
Springer
201–215
10.1007/978-3-642-00945-7_13
Edsko de Vries
Vasileios Koutavas
Matthew Hennessy
2010
Communicating Transactions – (Extended Abstract)
Paul Gastin
François Laroussinie
CONCUR 2010, Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
Lecture Notes in Computer Science
6269
Springer
569–583
10.1007/978-3-642-15375-4_39