On the analysis of compensation correctness
DOI10.1016/J.JLAP.2012.04.002zbMath1246.68100DBLPjournals/jlp/VazF12OpenAlexW2108414871WikidataQ59846133 ScholiaQ59846133MaRDI QIDQ444367
Publication date: 14 August 2012
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2012.04.002
model checkingprocess calculicompensation correctnesscompensationsfailure handlinglong running transactions
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A pi-calculus based semantics for WS-BPEL
- A calculus of mobile processes. II
- Multiparty asynchronous session types
- Structured Interactional Exceptions in Session Types
- On the Expressive Power of Primitives for Compensation Handling
- Theoretical foundations for compensations in flow composition languages
- Foundations of Software Science and Computational Structures
- Communicating Sequential Processes. The First 25 Years
- Coordination Models and Languages
- A Calculus for Orchestration of Web Services
- CONCUR 2005 – Concurrency Theory
- Formal Methods for Open Object-Based Distributed Systems
This page was built for publication: On the analysis of compensation correctness