Bisimulation is Not Finitely (First Order) Equationally Axiomatisable

Peter Sewell

Browse the full LICS paper archive.