On the expressive power of process interruption and compensation
From MaRDI portal
Publication:3636911
DOI10.1017/S0960129509007683zbMath1186.68317MaRDI QIDQ3636911
Gianluigi Zavattaro, Mario Bravetti
Publication date: 30 June 2009
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
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)
Related Items (7)
Unnamed Item ⋮ Unnamed Item ⋮ Global escape in multiparty sessions ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ Unnamed Item ⋮ On primitives for compensation handling as adaptable processes ⋮ Probabilistic software product lines
Uses Software
Cites Work
- A calculus of mobile processes. I
- The Conversation Calculus: A Model of Service-Oriented Computation
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Computability of Recursive Functions
- A Calculus for Orchestration of Web Services
- Ordering by Divisibility in Abstract Algebras
- Well-structured transition systems everywhere!
This page was built for publication: On the expressive power of process interruption and compensation
