Simulations Up-to and Canonical Preorders. (Extended Abstract)
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 192
Número: 1 SPEC. ISS.
Páginas: 13-28
Tipo: Artículo
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 192
Número: 1 SPEC. ISS.
Páginas: 13-28
Tipo: Artículo