Symmetric -calculus

DOI10.1007/BF02943188MaRDI QIDQ1389093zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

\(\pi\)-calculus

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(5)

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

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)