Binary Session Types for Psi-Calculi

DOI10.1007/978-3-319-47958-3_6zbMath1483.68231OpenAlexW2528273804MaRDI QIDQ3179282

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)

Related Items (4)

Modelling Uncertainty in Architectures of Parametric Component-Based Systems ⋮ Functional choreographic programming ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Analysing input/output-capabilities of mobile processes with a generic type system
• A generic type system for the pi-calculus
• Session types revisited
• Subtyping for session types in the pi calculus
• On Duality Relations for Session Types
• Types for Resources in $$\psi $$-calculi
• A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Typed ψ-calculi
• A theory of contracts for web services
• Using Higher-Order Contracts to Model Session Types (Extended Abstract)
• Bounded polymorphism in session types
• A Linear Account of Session Types in the Pi Calculus
• Nominal (Universal) Algebra: Equational Logic with Names and Binding
• A New Type System for Deadlock-Free Processes

This page was built for publication: Binary Session Types for Psi-Calculi