The Nonexistence of Finite Axiomatisations for CCS Congruences

Faron Moller The Nonexistence of Finite Axiomatisations for CCS Congruences conf/lics/LICS5 1990 LICS 142-153 db/conf/lics/lics90.html#Moller90