Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- scientific article; zbMATH DE number 42431 (Why is no real title available?)
- scientific article; zbMATH DE number 482761 (Why is no real title available?)
- Algebraic Semantics for Compensable Transactions
- CONCUR 2005 – Concurrency Theory
- Communicating Sequential Processes. The First 25 Years
- Communicating transactions (extended abstract)
- Coordination Models and Languages
- FM 2005: Formal Methods
- Flat committed join in join
- Theoretical foundations for compensations in flow composition languages
- Transactional events
- UTP Semantics for Web Services
- ZB 2005: Formal Specification and Development in Z and B
Cited in
(8)- On the analysis of compensation correctness
- Recovery within long-running transactions
- CONCUR 2005 – Concurrency Theory
- Transaction calculus (invited paper)
- Compensable Programs
- Applying message logging to support fault-tolerance of SOA systems
- Fundamental Approaches to Software Engineering
- A new strategy for distributed compensations with interruption in long-running transactions
This page was built for publication: Compensation by design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736799)
