RT Book, Section
T1 The equational theory of weak complete simulation semantics over BCCSP
A1 Aceto, Luca
A1 Frutos Escrig, David de
A1 Gregorio Rodríguez, Carlos
A1 Ingolfsdottir, Anna
A2 Bieliková, Mária
AB This paper presents a complete account of positive and negative results on the finite axiomatizability of weak complete simulation semantics over the language BCCSP. We offer finite (un)conditional ground-complete axiomatizations for the weak complete simulation precongruence. In sharp contrast to this positive result, we prove that, in the presence of at least one observable action, the (in)equational theory of the weak complete simulation precongruence over BCCSP does not have a finite (in)equational basis. In fact, the set of (in)equations in at most one variable that hold in weak complete simulation semantics over BCCSP does not have an (in)equational basis of ‘bounded depth’, let alone a finite one.
PB Springer
SN 978-3-642-27659-0
YR 2012
FD 2012
LK https://hdl.handle.net/20.500.14352/45432
UL https://hdl.handle.net/20.500.14352/45432
LA eng
NO Comunidad de Madrid
NO Ministerio de Ciencia e Innovación (MICINN)
NO Ministerio de Educación
NO Universidad Complutense de Madrid (UCM)
NO Icelandic Research Fund
DS Docta Complutense
RD 1 may 2024