TY  - CHAP
AU  - Frutos Escrig, David De
AU  - Gregorio Rodríguez, Carlos
PY  - 2008
SN  - 1571-0661
UR  - https://hdl.handle.net/20.500.14352/53216
AB  - Nested simulations define an interesting hierarchy of semantic preorders and equivalences in which every semantics refines the previous one and it is refined by the following. This nested nature provides a fruitful framework for the study of the...
LA  - eng
M2  - 41
PB  - Elsevier Science
KW  - Process Preorders and Equivalences
KW  - Bisimulations
KW  - Nested Simulations
KW  - Constrained Simulations
KW  - Axiomatization of Semantics
TI  - Constrained simulations, nested simulation semantics and counting bisimulations
TY  - book part
ER  -