Pages that link to "Item:Q3613058"
From MaRDI portal
The following pages link to Analysis of Realizability Conditions for Web Service Choreographies (Q3613058):
Displayed 5 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Realizable temporal logics for web service choreography (Q739636) (← links)
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions (Q1941851) (← links)
- Minimum-cost delegation in service composition (Q2378522) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)