Linear type theory for asynchronous session types
From MaRDI portal
Publication:5189644
Recommendations
Cites work
- A syntactic approach to type soundness
- Amalgamating sessions and methods in object-oriented languages with generics
- Asynchronous Session Types and Progress for Object Oriented Languages
- Bounded polymorphism in session types
- Correspondence assertions for process synchronization in concurrent communications
- Subtyping for session types in the pi calculus
- Type checking a multithreaded functional language with session types
Cited in
(70)- Amalgamating sessions and methods in object-oriented languages with generics
- A message-passing interpretation of adjoint logic
- Mixed sessions
- Polymorphic lambda calculus with context-free session types
- \( \pi\) with leftovers: a mechanisation in Agda
- On the relative expressiveness of higher-order session processes
- Input urgent semantics for asynchronous timed session types
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Characteristic bisimulation for higher-order session processes
- Undecidability of asynchronous session subtyping
- Algorithmic type checking for a pi-calculus with name matching and session types
- Fairness and communication-based semantics for session-typed languages
- On the relative expressiveness of higher-order session processes
- Session Types with Gradual Typing
- Corecursion and non-divergence in session-typed processes
- Type-Based Analysis for Session Inference (Extended Abstract)
- Propositions as sessions
- Observed Communication Semantics for Classical Processes
- Linearity, control effects, and behavioral types
- Context-free session type inference
- A higher-order logic for concurrent termination-preserving refinement
- Behavioural analysis of sessions using the calculus of structures
- I got plenty o' nuttin'
- Linear is CP (more or less)
- Multiparty asynchronous session types
- A semantic deconstruction of session types
- Verifiable abstractions for contract-oriented systems
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- scientific article; zbMATH DE number 1231503 (Why is no real title available?)
- Cut reduction in linear logic as asynchronous session-typed communication
- Type classes for lightweight substructural types
- Taking linear logic apart
- Rast: a language for resource-aware session types
- Mixed sessions
- Relating Functional and Imperative Session Types
- Back to futures
- Session Types with Arithmetic Refinements
- Circular proofs as session-typed processes: a local validity condition
- \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
- A simple library implementation of binary sessions
- A WSDL-based type system for asynchronous WS-BPEL processes
- Deriving session and union types for objects
- Asynchronous Session Types and Progress for Object Oriented Languages
- Linearity, session types and the pi calculus
- On asynchronous eventful session semantics
- An extensible approach to session polymorphism
- Typing copyless message passing
- Polarized subtyping
- Asynchronous functional sessions: cyclic and concurrent
- Comparing channel restrictions of communicating state machines, high-level message sequence charts, and multiparty session types
- System \(F^\mu_\omega\) with context-free session types
- Resource sharing via capability-based multiparty session types
- A session type system for asynchronous unreliable broadcast communication
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
- Non-linear communication via graded modal session types
- Subtyping context-free session types
- Rast: resource-aware session types with arithmetic refinements (system description)
- Completeness of asynchronous session tree subtyping in Coq
- Kind inference for the \textsc{FreeST} programming language
- A quantitative approach to global state composition
- A gentle overview of asynchronous session-based concurrency: deadlock freedom by typing
- Using -calculus names as locks
- EXPRESSing session types
- A sound and complete projection for global types
- Subtyping context-free session types
- Fundamentals of session types
- Less is more revisited: association with global protocols and multiparty sessions
- Formalising subject reduction and progress for multiparty session processes
- Formalising asynchronous session subtyping
- Type checking a multithreaded functional language with session types
This page was built for publication: Linear type theory for asynchronous session types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5189644)
