Meta model of concurrent computation. III: Bisimulation lattice

zbMATH Open0976.68072MaRDI QIDQ2704970

Yuxi Fu

Publication date: 19 June 2001

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

zbMATH Keywords

Could not fetch data.

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)

Related Items (1)

Meta model of concurrent computation. II: Symmetric communication

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)