Pages that link to "Item:Q3613058"
From MaRDI portal
The following pages link to Analysis of Realizability Conditions for Web Service Choreographies (Q3613058):
Displaying 8 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← 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)
- Formalizing web service choreographies (Q2847798) (← links)
- Realizability and dynamic reconfiguration of chor specifications (Q2888201) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)