Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote. Notions of bisimulation and congruence formats for SOS with data. Inf. Comput., 200(1):107-147, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.