Universal coinductive characterisations of process semantics
ISSN: 1571-5736
ISBN: 9780387096797
Year of publication: 2008
Volume: 273
Pages: 397-412
Type: Conference paper
ISSN: 1571-5736
ISBN: 9780387096797
Year of publication: 2008
Volume: 273
Pages: 397-412
Type: Conference paper