Universal coinductive characterisations of process semantics
ISSN: 1571-5736
ISBN: 9780387096797
Año de publicación: 2008
Volumen: 273
Páginas: 397-412
Tipo: Aportación congreso
ISSN: 1571-5736
ISBN: 9780387096797
Año de publicación: 2008
Volumen: 273
Páginas: 397-412
Tipo: Aportación congreso