Compensation by design

DOI10.1007/S00165-013-0275-6zbMATH Open1342.68136OpenAlexW2120437722MaRDI QIDQ736799FDOQ736799

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Communicating Transactions
• ZB 2005: Formal Specification and Development in Z and B
• Theoretical foundations for compensations in flow composition languages
• Communicating Sequential Processes. The First 25 Years
• Coordination Models and Languages
• CONCUR 2005 – Concurrency Theory
• FM 2005: Formal Methods
• UTP Semantics for Web Services
• Flat committed join in join
• Algebraic Semantics for Compensable Transactions
• Transactional events

Uses Software

• Z

Recommendations

• Title not available (Why is that?) 👍 👎
• Redistribution and compensation 👍 👎
• On fair compensation 👍 👎
• A fair solution to the compensation problem 👍 👎
• The problem of compensation 👍 👎
• Compensation, perks, and welfare 👍 👎
• Worst Case Design for Robust Compensation 👍 👎
• Adaptive Incentive Design 👍 👎

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)