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 6 items.
- 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)
- Linear type theory for asynchronous session types (Q5189644) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)