Probabilistic resource failure in real-time process algebra

TitleProbabilistic resource failure in real-time process algebra
Publication TypeJournal Articles
Year of Publication1998
AuthorsPhilippou A, Cleaveland R, Lee I, Smolka S, Sokolsky O
JournalCONCUR'98 Concurrency Theory
Pagination465 - 472
Date Published1998///