Gavin Lowe. Probabilities and priorities in timed CSP. PhD thesis, University of Oxford, UK, 1993. [doi]
@phdthesis{ethos-8928, title = {Probabilities and priorities in timed CSP}, author = {Gavin Lowe}, year = {1993}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334964}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-8928}, cites = {0}, citedby = {0}, school = {University of Oxford, UK}, }