Symmetric -calculus

DOI10.1007/BF02943188zbMATH Open0899.68022OpenAlexW2086194798MaRDI QIDQ1389093FDOQ1389093

Authors: 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

Recommendations

• Symmetries and Dualities in Name-Passing Process Calculi
• A symbolic semantics for the \(\pi\)-calculus
• scientific article; zbMATH DE number 1346361
• A calculus of mobile processes. I

zbMATH Keywords

\(\pi\)-calculus

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Remark on some \(\pi\) variants
• Reaction graph
• Symmetric intertask communication
• Bisimulation congruence of \(\chi\)-calculus
• Variations on mobile processes

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

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