Pages that link to "Item:Q861305"
From MaRDI portal
The following pages link to A pi-calculus based semantics for WS-BPEL (Q861305):
Displaying 10 items.
- On the analysis of compensation correctness (Q444367) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Engineering a BPEL orchestration engine as a multi-agent system (Q2373644) (← links)
- Towards a formal foundation to orchestration languages (Q2847797) (← links)
- FM 2005: Formal Methods (Q5716889) (← links)