On the Expressive Power of Primitives for Compensation Handling
From MaRDI portal
Publication:3558236
DOI10.1007/978-3-642-11957-6_20zbMATH Open1260.68102OpenAlexW2164485904WikidataQ59846144 ScholiaQ59846144MaRDI QIDQ3558236FDOQ3558236
Authors: Ivan Lanese, Cátia Vaz, Carla Ferreira
Publication date: 4 May 2010
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_20
Recommendations
- On primitives for compensation handling as adaptable processes
- On compensation primitives as adaptable processes
- Theoretical foundations for compensations in flow composition languages
- On the analysis of compensation correctness
- On the Expressive Power of Communication Primitives in Parameterised Systems
- The expressive power of indeterminate primitives in asynchronous computation
- The expressive power of indeterminate dataflow primitives
Cited In (15)
- On compensation primitives as adaptable processes
- Safer asynchronous runtime monitoring using compensations
- General dynamic recovery for compensating CSP
- On the analysis of compensation correctness
- Recovery within long-running transactions
- On the expressiveness of symmetric communication
- On primitives for compensation handling as adaptable processes
- Compensable Programs
- Expressiveness of concurrent intensionality
- Failure-divergence semantics and refinement of long running transactions
- Attribute-based transactions in service oriented computing
- Processes, systems \& tests: defining contextual equivalences
- A new strategy for distributed compensations with interruption in long-running transactions
- \textsf{cJoin}: \textsf{Join} with communicating transactions
- Processes against tests: on defining contextual equivalences
Uses Software
This page was built for publication: On the Expressive Power of Primitives for Compensation Handling
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558236)