The nonexistence of finite axiomatisations for CCS congruences (1990)

by F Moller
Venue:In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science