Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez. Comparative analysis of the notions of equivalence for process specifications. In Proceedings of the Third IEEE Symposium on Computers and Communications (ISCC 1998), June 30 - July 2, 1998, Athens, Greece. pages 711-716, IEEE Computer Society, 1998. [doi]
Abstract is missing.