Minimal session types for the \(\pi\)-calculus

DOI10.1016/J.IC.2024.105148arXiv2107.10936OpenAlexW4391257669MaRDI QIDQ6124244

Anda-Amelia Palamariuc, Jorge A. Pérez, Alen Arslanagić

Publication date: 27 March 2024

Published in: Information and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• On the relative expressiveness of higher-order session processes
• Characteristic bisimulation for higher-order session processes
• Session types revisited
• On the Relative Expressiveness of Higher-Order Session Processes
• Full Abstraction in a Subtyped pi-Calculus with Linear Types
• Globally Governed Session Semantics
• Formal Methods at the Crossroads. From Panacea to Foundational Support

This page was built for publication: Minimal session types for the \(\pi\)-calculus