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.
In: 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,
pp. 383–397,
doi: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.
In: 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,
pp. 42–60,
doi: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.
In: 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,
pp. 209–220,
doi:10.1145/1040305.1040323.
Michael J. Butler, C. A. R. Hoare & Carla Ferreira (2005):
A Trace Semantics for Long-Running Transactions.
In: 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,
pp. 133–150,
doi:10.1007/11423348_8.
Michael J. Butler & Shamim Ripon (2005):
Executable Semantics for Compensating CSP.
In: 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,
pp. 243–256,
doi:10.1007/11549970_18.
Zhenbang Chen & Zhiming Liu (2010):
An Extended cCSP with Stable Failures Semantics.
In: 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,
pp. 121–136,
doi:10.1007/978-3-642-14808-8_9.
Zhenbang Chen, Zhiming Liu & Ji Wang (2011):
Failure-Divergence Refinement of Compensating Communicating Processes.
In: 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,
pp. 262–277,
doi: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.
In: 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,
pp. 190–198,
doi:10.1109/ACSD.2008.4574611.
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi & Gianluigi Zavattaro (2006):
SOCK: A Calculus for Service Oriented Computing.
In: 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,
pp. 327–338,
doi: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.
In: 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,
pp. 366–386,
doi: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.
In: 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,
pp. 282–298,
doi:10.1007/978-3-540-31982-5_18.
Shamim Ripon (2008):
Extending and Relating Semantic Models of Compensating CSP.
University of Southampton.
Available at http://eprints.soton.ac.uk/266584/.
eptcs@eptcs.org