scientific article; zbMATH DE number 1420796

MaRDI QIDQ4944860zbMATH OpenFDO

Authors Robin Milner

Publication date 28 August 2000

zbMATH Keywords

pi calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A calculus of mobile processes. I
• The -calculus: A theory of mobile processes
• -calculi
• scientific article; zbMATH DE number 1296290
• A Distributed Pi-Calculus

Cited in

(22)

• A calculus of mobile processes. I
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• The seal calculus
• \(\pi\)-calculus with noisy channels
• PiStache: implementing -calculus in Scala
• The Applied Pi Calculus
• Pi, Euler Numbers, and Asymptotic Expansions
• Extended pi-Calculi
• A Look Around the Corner: The Pi-Calculus
• scientific article; zbMATH DE number 3987351 (Why is no real title available?)
• scientific article; zbMATH DE number 1231680 (Why is no real title available?)
• A Constructive Logic for Services and Information Flow in Computer Networks
• scientific article; zbMATH DE number 1759737 (Why is no real title available?)
• On confluence in the -calculus
• scientific article; zbMATH DE number 2154399 (Why is no real title available?)
• Process types as a descriptive tool for interaction. Control and the pi-calculus
• Executable behaviour and the \(\pi \)-calculus (extended abstract)
• PIC2LNT: model transformation for model checking an applied pi-calculus
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 7752780 (Why is no real title available?)
• A calculus of mobile agents
• XPi: a typed process calculus for XML messaging

This page was built for publication:

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