The following pages link to (Q4673433):
Displayed 5 items.
- On the analysis of compensation correctness (Q444367) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- Distributed speculative execution for reliability and fault tolerance: an operational semantics (Q2377270) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)