Browsing by Author "Smolka, S."
Now showing items 1-1 of 1
-
Article
Probabilistic resource failure in real-time process algebra
Philippou, Anna; Cleaveland, R.; Lee, I.; Smolka, S.; Sokolsky, O. (1998)PACSR, a probabilistic extension of the real-time process algebra ACSR, is presented. The extension is built upon a novel treatment of the notion of a resource. In ACSR, resources are used to model contention in accessing ...