A characterisation of weak bisimulation congruence

Download files
Access & Terms of Use
open access
Abstract
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of states or actions of the processes under consideration.
Persistent link to this record
DOI
Link to Publisher Version
Additional Link
Author(s)
van Glabbeek, Robert
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
2005
Resource Type
Conference Paper
Degree Type
UNSW Faculty
Files
download 0200600255_jwk.pdf 159.16 KB Adobe Portable Document Format
Related dataset(s)