Binary Session Types for Psi-Calculi
From MaRDI portal
Publication:3179282
DOI10.1007/978-3-319-47958-3_6zbMath1483.68231OpenAlexW2528273804MaRDI QIDQ3179282
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
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