Algebraic Semantics for Compensable Transactions

DOI10.1007/978-3-540-75292-9_21MaRDI QIDQ3525093zbMATH OpenOpenAlexFDO

Authors Jing Li, Huibiao Zhu, Jifeng He

Publication date 17 September 2008

Published in Theoretical Aspects of Computing – ICTAC 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75292-9_21

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Theoretical foundations for compensations in flow composition languages
• Coordination Models and Languages
• Transaction calculus (invited paper)
• Communicating Sequential Processes. The First 25 Years
• A calculus for long-running transactions.

Cited in

(9)

• External Transaction Logic with Automatic Compensations
• scientific article; zbMATH DE number 1810206 (Why is no real title available?)
• High-level small-step operational semantics for transactions
• Theoretical foundations for compensations in flow composition languages
• A Language for Reliable Service Composition
• An Observational Model for Transactional Calculus of Services Orchestration
• Coordination Models and Languages
• Coordination Models and Languages
• Compensation by design

This page was built for publication: Algebraic Semantics for Compensable Transactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525093)