Symmetric \(\pi\)-calculus

DOI10.1007/BF02943188zbMath0899.68022OpenAlexW2086194798MaRDI QIDQ1389093

Yuxi Fu

Publication date: 1 November 1998

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943188

zbMATH Keywords

\(\pi\)-calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Bisimulation congruence of \(\chi\)-calculus ⋮ Variations on mobile processes ⋮ Reaction graph

Cites Work

• A calculus of mobile processes. I
• Objects in the \(\pi\)-calculus

This page was built for publication: Symmetric \(\pi\)-calculus