Functions as Session-Typed Processes

DOI10.1007/978-3-642-28729-9_23zbMath1352.68191OpenAlexW1534772435MaRDI QIDQ2892782

Bernardo Toninho, Luís Caires, Frank Pfenning

Publication date: 22 June 2012

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_23

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Prioritise the best variation

Uses Software

• Multilisp

This page was built for publication: Functions as Session-Typed Processes