Remark on some variants

DOI10.1007/978-3-319-69483-2_11zbMATH Open1498.68195OpenAlexW2766418622MaRDI QIDQ5045385FDOQ5045385

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

Recommendations

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

Mathematics Subject Classification ID

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

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)