Comparative analysis of the notions of equivalence for process specifications.

Hazem El-Gendy, Hani El-Sayed, Abdel-Wahab Fayez

Browse the full ISCC paper archive.