The following pages link to (Q2847797):
Displayed 5 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)