Compensation by design

DOI10.1007/S00165-013-0275-6MaRDI QIDQ736799zbMATH OpenOpenAlexFDO

Authors 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) 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

• The problem of compensation
• scientific article; zbMATH DE number 4218472
• A fair solution to the compensation problem
• Redistribution and compensation
• On fair compensation
• Compensation, perks, and welfare
• Adaptive Incentive Design
• Worst Case Design for Robust Compensation

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

Describes a project that uses

Uses Software

• Z

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)