Processes with Probabilities, Priorities, and Time (1994)

by C Tofts
Venue:Formal Aspects of Computing