A process compensation language

DOI10.1007/3-540-40911-4_5MaRDI QIDQ4471911zbMATH OpenFDO

Authors Michael J. Butler, Carla Ferreira

Publication date 30 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450061.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 782044
• Process algebra with language matching
• Process languages and nets
• scientific article; zbMATH DE number 1231492
• scientific article; zbMATH DE number 862677
• Towards a language for concurrent processes

Cited in

(9)

• On primitives for compensation handling as adaptable processes
• A new strategy for distributed compensations with interruption in long-running transactions
• Compensation in Workflow Nets
• Using B refinement to analyse compensating business processes
• On compensation primitives as adaptable processes
• Verifying Compensating Transactions
• FM 2005: Formal Methods
• Coordination Models and Languages
• Type checking a multithreaded functional language with session types

This page was built for publication: A process compensation language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471911)