Transaction calculus (invited paper)

DOI10.1007/978-3-642-14521-6_2MaRDI QIDQ3585019zbMATH OpenOpenAlexFDO

Authors He Jifeng

Publication date 31 August 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14521-6_2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Compensable Programs
• A calculus for long-running transactions.
• Compensation by design
• Communicating Sequential Processes. The First 25 Years
• Compensable transactions

Cited in

(16)

• A transactional object calculus
• Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
• Algebraic Semantics for Compensable Transactions
• Compensable Programs
• Flexible specification of interoperable transactions
• On the analysis of compensation correctness
• scientific article; zbMATH DE number 1927571 (Why is no real title available?)
• Programming Languages and Systems
• Compensable transactions
• An Observational Model for Transactional Calculus of Services Orchestration
• \textsf{cJoin}: \textsf{Join} with communicating transactions
• A calculus for long-running transactions.
• Jifeng He at Oxford and beyond: an appreciation
• Non-interactive Mimblewimble transactions, revisited
• Applying formal verification to an open-source real-time operating system
• Failure-divergence semantics and refinement of long running transactions

This page was built for publication: Transaction calculus (invited paper)

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