Compensation by design

DOI10.1007/s00165-013-0275-6zbMath1342.68136OpenAlexW2120437722MaRDI QIDQ736799

D. Kharzeev

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-013-0275-6

zbMATH Keywords

temporal logiccompensationlong-running transactionservice computing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic Semantics for Compensable Transactions
• Transactional events
• Communicating Transactions
• UTP Semantics for Web Services
• Theoretical foundations for compensations in flow composition languages
• ZB 2005: Formal Specification and Development in Z and B
• Communicating Sequential Processes. The First 25 Years
• FM 2005: Formal Methods
• Coordination Models and Languages
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Compensation by design