Pages that link to "Item:Q5189644"
From MaRDI portal
The following pages link to Linear type theory for asynchronous session types (Q5189644):
Displayed 41 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- 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)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Prioritise the best variation (Q2117016) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← 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)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← 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)
- (Q5015212) (← links)
- (Q5018488) (← links)
- (Q5028463) (← links)
- Mixed Sessions (Q5041119) (← links)
- Back to futures (Q5063251) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5094136) (← links)
- A simple library implementation of binary sessions (Q5371999) (← 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)
- Separating Sessions Smoothly (Q6135771) (← links)
- Polarized subtyping (Q6166799) (← links)