On the Expressive Power of Primitives for Compensation Handling
From MaRDI portal
Publication:3558236
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
- On the analysis of compensation correctness
- General dynamic recovery for compensating CSP
- Recovery within long-running transactions
- On the expressiveness of symmetric communication
- On primitives for compensation handling as adaptable processes
- Compensable Programs
- Failure-divergence semantics and refinement of long running transactions
- Expressiveness of concurrent intensionality
- 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
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)
