Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet

Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Inf. Process. Lett., 111(9):408-413, 2011. [doi]

Abstract

Abstract is missing.