A note on the characterization of weak bisimulation congruence in CCS

DOI10.1016/0890-5401(92)90058-NzbMath0768.68090OpenAlexW1996712914MaRDI QIDQ1184736

Jan Ekman

Publication date: 28 June 1992

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(92)90058-n

zbMATH Keywords

calculus of communicating systemsweak bisimulation congruence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: A note on the characterization of weak bisimulation congruence in CCS