Notions of bisimulation and congruence formats (2004)

Cached


by Mohammad Reza Mousavi , Michel A. Reniers , Jan Friso Groote