On Cool Congruence Formats for Weak Bisimulations

Theoretical Aspects of Computing – ICTAC 2005 - Lecture Notes in Computer Science ◽

10.1007/11560647_21 ◽

2005 ◽

pp. 318-333 ◽

Cited By ~ 5

Author(s):

Rob Jan van Glabbeek

Download Full-text