TY  - JOUR
AU  - Aceto, Luca
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
PY  - 2014
DO  - 10.1016/j.tcs.2013.03.013
SN  - 0304-3975
UR  - https://hdl.handle.net/20.500.14352/33637
T2  - Theoretical computer science
AB  - This paper is devoted to the study of the (in)equational theory of the largest (pre)congruences over the language BCCSP induced by variations on the classic simulation preorder and equivalence that abstract from internal steps in process behaviours....
LA  - eng
M2  - 42
PB  - Elsevier
KW  - Process algebra
KW  - Simulation semantics
KW  - Complete simulation semantics
KW  - Ready simulation semantics
KW  - Equational logic
KW  - Equational axiomatizations
KW  - Non-finitely based algebras
TI  - Axiomatizing weak simulation semantics over BCCSP
TY  - journal article
VL  - 537
ER  -