@article{van_Breugel_2005,
    doi = {10.1016/j.tcs.2004.10.021},
    url = {https://doi.org/10.1016%2Fj.tcs.2004.10.021},
    year = {2005},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {333},
    number = {1-2},
    pages = {171--197},
    author = {Franck van Breugel and Michael Mislove and Joël Ouaknine and James Worrell},
    title = {Domain theory, testing and simulation for labelled Markov processes},
    journal = {Theoretical Computer Science}
}

@article{van_Breugel_2005, doi = {10.1016/j.tcs.2004.10.021}, url = {https://doi.org/10.1016%2Fj.tcs.2004.10.021}, year = {2005}, month = {mar}, publisher = {Elsevier {BV}}, volume = {333}, number = {1-2}, pages = {171--197}, author = {Franck van Breugel and Michael Mislove and Joël Ouaknine and James Worrell}, title = {Domain theory, testing and simulation for labelled Markov processes}, journal = {Theoretical Computer Science} }