Authors: Chris Tofts

Citation: Chris Tofts, Processes with probabilities,priority and time, Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 536-564