Complete and ready simulation semantics are not finitely based over BCCSP, even with asingletonalphabet (2011)

by L Aceto, D de Frutos Escrig, C Gregorio-Rodríguez, A Ingólfsdóttir