Is Timed Branching Bisimilarity an Equivalence Indeed?

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/11603009_20 ◽

2005 ◽

pp. 258-272 ◽

Cited By ~ 8

Author(s):

Wan Fokkink ◽

Jun Pang ◽

Anton Wijs

Download Full-text