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

From MaRDI portal
Publication:1944909

DOI10.1016/j.ipl.2011.01.015zbMath1260.68252OpenAlexW1984568289MaRDI QIDQ1944909

Anna Ingólfsdóttir, Luca Aceto, Carlos Gregorio Rodríguez, David de Frutos-Escrig

Publication date: 28 March 2013

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2011.01.015




Related Items (2)




Cites Work




This page was built for publication: Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet