Transaction calculus (invited paper)
From MaRDI portal
Publication:3585019
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
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)