Browsing by Author "Smolka, S. A."
Now showing items 1-1 of 1
-
Article
Hiding resources that can fail: An axiomatic perspective
Philippou, Anna; Sokolsky, O.; Lee, I.; Cleaveland, R.; Smolka, S. A. (2001)In earlier work, we presented a process algebra, PACSR, that uses a notion of resource failure to capture probabilistic behavior in reactive systems. PACSR also supports an operator for resource hiding. In this paper, we ...