Transformation of estelle specifications to lotos specifications. - Hazem El-Gendy; Hani El-Sayed; Abdel-Wahab Fayez (CATA, 1998)

Comparative analysis of the notions of equivalence for process specifications. - Hazem El-Gendy; Hani El-Sayed; Abdel-Wahab Fayez (ISCC, 1998)