Praobabilistic Resource Failure in Real-Time Process Algebra.

Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky

Browse the full CONCUR paper archive.