Simulations Up-to and Canonical Preorders. (Extended Abstract)
ISSN: 1571-0661
Any de publicació: 2007
Volum: 192
Número: 1 SPEC. ISS.
Pàgines: 13-28
Tipus: Article
ISSN: 1571-0661
Any de publicació: 2007
Volum: 192
Número: 1 SPEC. ISS.
Pàgines: 13-28
Tipus: Article