Pages that link to "Item:Q5428903"
From MaRDI portal
The following pages link to Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903):
Displayed 14 items.
- Reversible session-based pi-calculus (Q492908) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- Reversing Single Sessions (Q3186584) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Linear type theory for asynchronous session types (Q5189644) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- On asynchronous eventful session semantics (Q5741564) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)