On the analysis of compensation correctness

DOI10.1016/J.JLAP.2012.04.002zbMath1246.68100DBLPjournals/jlp/VazF12OpenAlexW2108414871WikidataQ59846133 ScholiaQ59846133MaRDI QIDQ444367

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

zbMATH Keywords

model checkingprocess calculicompensation correctnesscompensationsfailure handlinglong running transactions

Mathematics Subject Classification ID

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)

On primitives for compensation handling as adaptable processes

Uses Software

• COWS
• ProB

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