Remark on some variants

DOI10.1007/978-3-319-69483-2_11MaRDI QIDQ5045385zbMATH OpenOpenAlexFDO

Authors Jianxin Xue, Huan Long, Yuxi Fu

Publication date 4 November 2022

Published in Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-69483-2_11

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A theory of bisimulation for the -calculus
• Some congruence properties for \(\pi\)-calculus bisimilarities
• Matching in the pi-calculus
• On bisimulations for the asynchronous π-calculus
• Symmetric \(\pi\)-calculus

Cited in

(1)

• Matching in the pi-calculus

This page was built for publication: Remark on some \(\pi\) variants

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