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