Pages that link to "Item:Q739636"
From MaRDI portal
The following pages link to Realizable temporal logics for web service choreography (Q739636):
Displaying 6 items.
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055) (← links)
- The semantics and verification of timed service choreography (Q2875284) (← links)
- Realizability and dynamic reconfiguration of chor specifications (Q2888201) (← links)
- Analysis of Realizability Conditions for Web Service Choreographies (Q3613058) (← links)