Universal coinductive characterisations of process semantics
ISSN: 1571-5736
ISBN: 9780387096797
Datum der Publikation: 2008
Ausgabe: 273
Seiten: 397-412
Art: Konferenz-Beitrag
ISSN: 1571-5736
ISBN: 9780387096797
Datum der Publikation: 2008
Ausgabe: 273
Seiten: 397-412
Art: Konferenz-Beitrag