Sciweavers

Share
BIRTHDAY
2005
Springer

A Characterisation of Weak Bisimulation Congruence

9 years 2 months ago
A Characterisation of Weak Bisimulation Congruence
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.
Rob J. van Glabbeek
Added 29 Jun 2010
Updated 29 Jun 2010
Type Conference
Year 2005
Where BIRTHDAY
Authors Rob J. van Glabbeek
Comments (0)
books