The following pages link to Coordination Models and Languages (Q5717744):
Displaying 11 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)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- Safer asynchronous runtime monitoring using compensations (Q2441726) (← links)
- High-level small-step operational semantics for transactions (Q3189825) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- FM 2005: Formal Methods (Q5716889) (← links)