The Nonexistence of Finite Axiomatisations for CCS Congruences

Faron Moller

Browse the full LICS paper archive.