Pages that link to "Item:Q2576666"
From MaRDI portal
The following pages link to Subtyping for session types in the pi calculus (Q2576666):
Displaying 35 items.
- Back to futures (Q5063251) (← links)
- (Q5089276) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5094146) (← links)
- (Q5129942) (← links)
- Deciding the Bisimilarity of Context-Free Session Types (Q5164167) (← links)
- Linear type theory for asynchronous session types (Q5189644) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
- Deriving session and union types for objects (Q5410236) (← 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)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)
- Global escape in multiparty sessions (Q5741561) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- Fair subtyping for multi-party session types (Q5741567) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
- Modelling session types using contracts (Q5741570) (← links)
- (Q5856424) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
- (Q5875401) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Typing Copyless Message Passing (Q5892489) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Polymorphic higher-order context-free session types (Q6499549) (← links)
- System \(F^\mu_\omega\) with context-free session types (Q6535246) (← links)
- Refinements for open automata (Q6550592) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- A logical account of subtyping for session types (Q6615560) (← links)
- Fair asynchronous session subtyping (Q6635515) (← links)
