Chris M. N. Tofts. Processes with Probablities, Priority and Time. Formal Asp. Comput., 6(5):536-564, 1994.
@article{Tofts94, title = {Processes with Probablities, Priority and Time}, author = {Chris M. N. Tofts}, year = {1994}, researchr = {https://researchr.org/publication/Tofts94}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {6}, number = {5}, pages = {536-564}, }