Authors: ELORANTA J TIENARI M VALMARI A

Citation: J. Eloranta et al., ESSENTIAL TRANSITIONS TO BISIMULATION EQUIVALENCES, Theoretical computer science, 179(1-2), 1997, pp. 397-419

Authors: VALMARI A

Citation: A. Valmari, THE WEAKEST DEADLOCK-PRESERVING CONGRUENCE, Information processing letters, 53(6), 1995, pp. 341-346