Pages that link to "Item:Q5189644"
From MaRDI portal
The following pages link to Linear type theory for asynchronous session types (Q5189644):
Displayed 17 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Fundamentals of session types (Q714736) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Session Types with Gradual Typing (Q2811931) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- Propositions as sessions (Q2875234) (← links)
- I Got Plenty o’ Nuttin’ (Q3188289) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- Session-Based Communication Optimisation for Higher-Order Mobile Processes (Q3637196) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
- On asynchronous eventful session semantics (Q5741564) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
- Typing Copyless Message Passing (Q5892489) (← links)