The following pages link to (Q3601412):
Displaying 8 items.
- An interface theory for service-oriented design (Q407507) (← links)
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- Conversation types (Q615952) (← links)
- Event based choreography (Q988170) (← links)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- Fair refinement for asynchronous session types (Q2233400) (← links)
- Multiparty testing preorders (Q5060196) (← links)