Pages that link to "Item:Q3558236"
From MaRDI portal
The following pages link to On the Expressive Power of Primitives for Compensation Handling (Q3558236):
Displaying 13 items.
- On the analysis of compensation correctness (Q444367) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- Safer asynchronous runtime monitoring using compensations (Q2441726) (← links)
- Recovery within long-running transactions (Q2875115) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- (Q5013869) (← links)
- cJoin: Join with communicating transactions (Q5740633) (← links)
- Attribute-based transactions in service oriented computing (Q5740634) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)