TY  - JOUR
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
PY  - 2006
SN  - 0948-695x
UR  - https://hdl.handle.net/20.500.14352/50568
T2  - Journal of universal computer science
AB  - Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the bisimulation equivalence thus getting a semantics defined in a similar...
LA  - eng
M2  - 1521
PB  - Graz Univ. Technolgoy, Inst. Information Systems Computer Med.
KW  - Bisimulation
KW  - Ready simulation
KW  - Refusal
KW  - Traces
KW  - Concurrent process equivalences and preorders
KW  - Comparative semantics
TI  - Process equivalences as global bisimulations
TY  - journal article
VL  - 12
ER  -