A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions
DOI10.1007/978-3-642-28412-0_5zbMath1312.68126OpenAlexW155357201MaRDI QIDQ2890323
Anne Kersten, Roberto Bruni, Giorgio Spagnolo, Ivan Lanese
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_5
Database theory (68P15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Petri nets are monoids
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Petri nets with individual tokens
- Event-Based Service Coordination
- On the Expressive Power of Primitives for Compensation Handling
- Communicating Transactions
- Theoretical foundations for compensations in flow composition languages
- The Conversation Calculus: A Model of Service-Oriented Computation
- Foundations of Software Science and Computational Structures
- Communicating Sequential Processes. The First 25 Years
- CONCUR 2005 – Concurrency Theory
This page was built for publication: A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions