Pages that link to "Item:Q2576666"
From MaRDI portal
The following pages link to Subtyping for session types in the pi calculus (Q2576666):
Displayed 9 items.
- Type checking a multithreaded functional language with session types (Q859841) (← 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)
- Bounded polymorphism in session types (Q3535678) (← links)
- Session-Based Communication Optimisation for Higher-Order Mobile Processes (Q3637196) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)