Domain-aware session types

DOI10.4230/LIPICS.CONCUR.2019.39MaRDI QIDQ5875401zbMATH OpenFDO

Authors Luís Caires, Jorge A. Pérez, Bernardo Toninho, Frank Pfenning

Publication date 3 February 2023

Full work available at URL https://arxiv.org/abs/1907.01318

zbMATH Keywords

hybrid logiclinear logicprocess calculisession types

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 6774227
• Multiparty session types as coherence proofs
• Multiparty session types, beyond duality
• CONCUR 2004 - Concurrency Theory
• Session types revisited

Cites work

• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A calculus of mobile processes. II
• A concurrent model for linear logic
• A New Type System for Deadlock-Free Processes
• Behavioral polymorphism and parametricity in session-based communication
• Behavioural typing for safe ambients
• Computational interpretations of linear logic
• Corecursion and non-divergence in session-typed processes
• Cut reduction in linear logic as asynchronous session-typed communication
• Deadlock and lock freedom in the linear -calculus
• Depending on session-typed processes
• Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Gr
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 6851955 (Why is no real title available?)
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• scientific article; zbMATH DE number 7319029 (Why is no real title available?)
• scientific article; zbMATH DE number 7319032 (Why is no real title available?)
• Hybrid and subexponential linear logics
• Hybrid linear logic, revisited
• Hybridizing a logical framework
• Intuitionistic hybrid logic
• Linear logic propositions as session types
• Linear logical relations and observational equivalences for session-based concurrency
• Linear logical relations for session-based concurrency
• Mobile ambients
• Monitors and blame assignment for higher-order session types
• Multiparty asynchronous session types
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Nested protocols in session types
• On the \(\pi\)-calculus and linear logic
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Proof-carrying code in a session-typed process calculus
• Propositions as sessions
• Resource access control in systems of mobile agents
• Self-adaptation and secure information flow in multiparty communications
• Session types as intuitionistic linear propositions
• Session types for access and information flow control
• Session-typed concurrent contracts
• Subtyping for session types in the pi calculus
• The -calculus: A theory of mobile processes
• Types for the ambient calculus

Cited in

(6)

• Session types without sophistry. System description
• scientific article; zbMATH DE number 7168313 (Why is no real title available?)
• Globally Governed Session Semantics
• Comparing session type systems derived from linear logic
• A subexponential view of domains in session types
• Around classical and intuitionistic linear processes

This page was built for publication: Domain-aware session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875401)