The following pages link to (Q4967196):
Displaying 5 items.
- Type systems for distributed programs: components and sessions (Q518894) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- A Type Theory for Robust Failure Handling in Distributed Systems (Q2827463) (← links)