Oxford logo
[BK00] C. Baier and M. Kwiatkowska. Domain Equations for Probabilistic Processes. Mathematical Structures in Computer Science, 10(6), pages 665-717. 2000. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (220 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications