Pages that link to "Item:Q861305"
From MaRDI portal
The following pages link to A pi-calculus based semantics for WS-BPEL (Q861305):
Displaying 5 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)
