The following pages link to CONCUR 2005 – Concurrency Theory (Q5897496):
Displaying 8 items.
- On the analysis of compensation correctness (Q444367) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- Compensation by design (Q736799) (← links)
- Service oriented computing from a process algebraic perspective (Q861292) (← 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)
