Bisimulation is Not Finitely (First Order) Equationally Axiomatisable

Bisimulation is Not Finitely (First Order) Equationally Axiomatisable Peter Sewell 62-70 conf/lics/LICS9 1994 LICS db/conf/lics/lics94.html#Sewell94