The following pages link to Conversation types (Q615952):
Displaying 11 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- An algebra of behavioural types (Q418153) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- Lightening global types (Q492916) (← links)
- Fundamentals of session types (Q714736) (← links)
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
