Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-36206-1_26 ◽

2002 ◽

pp. 289-300 ◽

Author(s):

Madhavan Mukund

Download Full-text