Universal coinductive characterisations of process semantics
ISSN: 1571-5736
ISBN: 9780387096797
Ano de publicación: 2008
Volume: 273
Páxinas: 397-412
Tipo: Achega congreso
ISSN: 1571-5736
ISBN: 9780387096797
Ano de publicación: 2008
Volume: 273
Páxinas: 397-412
Tipo: Achega congreso