Binary session types for psi-calculi

DOI10.1007/978-3-319-47958-3_6MaRDI QIDQ3179282zbMATH OpenOpenAlexFDO

Authors Hans Hüttel

Publication date 21 December 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-47958-3_6

Mathematics Subject Classification ID

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

Recommendations

• Session types revisited
• Session types as generic process types
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Typed ψ-calculi
• Session types as intuitionistic linear propositions

Cites work

• A generic type system for the pi-calculus
• A linear account of session types in the pi calculus
• A New Type System for Deadlock-Free Processes
• A sorted semantic framework for applied process calculi (extended abstract)
• A theory of contracts for web services
• Analysing input/output-capabilities of mobile processes with a generic type system
• Bounded polymorphism in session types
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• Nominal (universal) algebra: equational logic with names and binding
• On duality relations for session types
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Session types revisited
• Subtyping for session types in the pi calculus
• Typed ψ-calculi
• Types for resources in -calculi
• Using higher-order contracts to model session types (extended abstract)

Cited in

(7)

• Context-free session types for applied pi-calculus
• A simple library implementation of binary sessions
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• Functional choreographic programming
• A generic type system for higher-order \(\Psi\)-calculi
• Realisability of global models of interaction
• A generic type system for higher-order -calculi

This page was built for publication: Binary session types for psi-calculi

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