2 search results - page 1 / 1 » Is Timed Branching Bisimilarity a Congruence Indeed |
FUIN
2008
13 years 4 months ago
2008
We show that timed branching bisimilarity as defined by Van der Zwaag [16] and Baeten and Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose ...
FORMATS
2005
Springer
13 years 10 months ago
2005
Springer
