The nonexistence of finite axiomatisations for CCS congruences (1990)

by F Moller
Venue:in: Proceedings 5 th Annual Symposium on Logic in Computer Science