On the analysis of compensation correctness
DOI10.1016/J.JLAP.2012.04.002zbMATH Open1246.68100DBLPjournals/jlp/VazF12OpenAlexW2108414871WikidataQ59846133 ScholiaQ59846133MaRDI QIDQ444367FDOQ444367
Authors: Cátia Vaz, Carla Ferreira 
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
Recommendations
model checkingprocess calculicompensation correctnesscompensationsfailure handlinglong running transactions
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- A Calculus for Orchestration of Web Services
- Title not available (Why is that?)
- A calculus of mobile processes. II
- Multiparty asynchronous session types
- The \(\pi\)-calculus: A theory of mobile processes
- Title not available (Why is that?)
- Structured Interactional Exceptions in Session Types
- On the Expressive Power of Primitives for Compensation Handling
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- CONCUR 2005 – Concurrency Theory
- A calculus for long-running transactions.
- A pi-calculus based semantics for WS-BPEL
Cited In (5)
Uses Software
This page was built for publication: On the analysis of compensation correctness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444367)
