A functional presentation of pi calculus

DOI10.1007/BF02713937zbMath1125.68389MaRDI QIDQ865929

Yuxi Fu

Publication date: 20 February 2007

Published in: Science in China. Series F (Search for Journal in Brave)

zbMATH Keywords

process algebraCCS\(\Pi\)-calculusfunctional presentation

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

• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A calculus of mobile processes. I
• A theory of higher order communicating systems
• Variations on mobile processes
• Functions as processes
• Unnamed Item

This page was built for publication: A functional presentation of pi calculus