From a concurrent λ-calculus to the π-calculus
From MaRDI portal
Publication:5055881
DOI10.1007/3-540-60249-6_43OpenAlexW2176500975MaRDI QIDQ5055881
Lone Leth, Bent Thomsen, Roberto M. Amadio
Publication date: 9 December 2022
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60249-6_43
Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Uses Software
Cites Work
This page was built for publication: From a concurrent λ-calculus to the π-calculus