The following pages link to FM 2005: Formal Methods (Q5716889):
Displaying 6 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Compensation by design (Q736799) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- A rigorous methodology for specification and verification of business processes (Q1037243) (← links)
- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation (Q3614842) (← links)
- Coordination Models and Languages (Q5717744) (← links)