TY  - CHAP
AU  - Aceto, Luca
AU  - Frutos Escrig, David de
AU  - Gregorio Rodríguez, Carlos
AU  - Ingolfsdottir, Anna
A4  - Bieliková, Mária
PY  - 2012
DO  - 10.1007/978-3-642-27660-6_12
SN  - 978-3-642-27659-0
UR  - https://hdl.handle.net/20.500.14352/45432
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...
LA  - eng
M2  - 141
PB  - Springer
TI  - The equational theory of weak complete simulation semantics over BCCSP
TY  - book part
ER  -