Información de la editorial
Graz Univ. Technolgoy, Inst. Information Systems Computer Med. |
Documentos disponibles de esta editorial (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
texto impreso
Frutos Escrig, David de ; Gregorio Rodríguez, Carlos | Graz Univ. Technolgoy, Inst. Information Systems Computer Med. | 2006Bisimulation 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 sim[...]