Universal coinductive characterisations of process semantics
ISSN: 1571-5736
ISBN: 9780387096797
Année de publication: 2008
Volumen: 273
Pages: 397-412
Type: Communication dans un congrès
ISSN: 1571-5736
ISBN: 9780387096797
Année de publication: 2008
Volumen: 273
Pages: 397-412
Type: Communication dans un congrès