Functional array programming in an extended pi-calculus

DOI10.4204/EPTCS.412.2MaRDI QIDQ6940585zbMATH OpenFDO

Authors Hans Hüttel, Lars Jensen, Chris Oliver Paulsen, Julian Teule

Publication date 19 August 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.412.2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• An investigation into functions as processes
• From a concurrent λ-calculus to the π-calculus
• From λ to π; or, Rediscovering continuations
• scientific article; zbMATH DE number 177812 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)
• Mobile values, new names, and secure communication
• On the expressive power of polyadic synchronisation in -calculus
• Subtyping for session types in the pi calculus
• The -calculus: A theory of mobile processes
• The Applied Pi Calculus
• The lazy lambda calculus in a concurrency scenario

This page was built for publication: Functional array programming in an extended pi-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940585)