Pages that link to "Item:Q2847797"
From MaRDI portal
The following pages link to Towards a formal foundation to orchestration languages (Q2847797):
Displaying 8 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)
- Engineering a BPEL orchestration engine as a multi-agent system (Q2373644) (← links)
- An Observational Model for Transactional Calculus of Services Orchestration (Q5505603) (← links)
- FM 2005: Formal Methods (Q5716889) (← links)
- A Language for Task Orchestration and Its Semantic Properties (Q5756609) (← links)