Universal coinductive characterisations of process semantics
ISSN: 1571-5736
ISBN: 9780387096797
Any de publicació: 2008
Volum: 273
Pàgines: 397-412
Tipus: Aportació congrés
ISSN: 1571-5736
ISBN: 9780387096797
Any de publicació: 2008
Volum: 273
Pàgines: 397-412
Tipus: Aportació congrés