Processes with probabilities, priority and time (1994)

by C Tofts
Venue:Form. Aspects Comput