Oxford logo
[BK97b] C. Baier and M. Kwiatkowska. Domain Equations for Probabilistic Processes (Extended Abstract). In Proc. EXPRESS'97, volume 7 of Electronic Notes in Theoretical Computer Science, Elsevier. 1997. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (147 KB)  bib bib
Notes: ENTCS is available at www.sciencedirect.com/science/journal/15710661.

QAV:

Home

People

Projects

Publications