Meta model of concurrent computation. III: Bisimulation lattice

MaRDI QIDQ2704970zbMATH OpenFDO

Authors Yuxi Fu

Publication date 19 June 2001

Published in Journal of Shanghai Jiaotong University (Chinese Edition) (Search for Journal in Brave)

zbMATH Keywords

\(L\)-bisimilaritiesbisimilarities on chi processesbisimulationconcurrencyprocess algebra

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulation congruence of -calculus
• Variations on mobile processes
• Meta model of concurrent computation. II: Symmetric communication
• scientific article; zbMATH DE number 3898224
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

Cited in

(2)

• Meta model of concurrent computation. II: Symmetric communication
• On bisimilarity for polyhedral models and \texttt{SLCS}

This page was built for publication: Meta model of concurrent computation. III: Bisimulation lattice

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