TY  - JOUR
AU  - Frutos Escrig, David de
AU  - Gregorio Rodríguez, Carlos
AU  - Palomino, Miguel
PY  - 2008
DO  - 10.1016/j.entcs.2008.04.059
SN  - 15710661
UR  - https://hdl.handle.net/20.500.14352/50567
T2  - Electronic Notes in Theoretical Computer Science
AB  - There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalence. We are interested in the relationship between these two...
LA  - eng
M2  - 149
PB  - Elsevier
TI  - Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
TY  - journal article
VL  - 212
ER  -