Transaction calculus (invited paper)

DOI10.1007/978-3-642-14521-6_2zbMATH Open1286.68081OpenAlexW4205582814MaRDI QIDQ3585019FDOQ3585019

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (14)

• Algebraic Semantics for Compensable Transactions
• Non-interactive Mimblewimble transactions, revisited
• Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
• Title not available (Why is that?)
• On the analysis of compensation correctness
• Compensable Programs
• Compensable transactions
• A calculus for long-running transactions.
• Failure-divergence semantics and refinement of long running transactions
• Programming Languages and Systems
• An Observational Model for Transactional Calculus of Services Orchestration
• A transactional object calculus
• Applying formal verification to an open-source real-time operating system
• Jifeng He at Oxford and beyond: an appreciation

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)