From a concurrent λ-calculus to the π-calculus
From MaRDI portal
Publication:5055881
DOI10.1007/3-540-60249-6_43MaRDI 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
68N18: Functional programming and lambda calculus
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
Uses Software
Cites Work