The following pages link to Contracts for Mobile Processes (Q3184675):
Displaying 7 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- Automata for Analysing Service Contracts (Q2811923) (← links)
- On projecting processes into session types (Q2883119) (← links)
- (Q5129942) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- On asynchronous eventful session semantics (Q5741564) (← links)
