Hiding resources that can fail: An axiomatic perspective
Ημερομηνία
2001Συγγραφέας
Philippou, AnnaSokolsky, O.
Lee, I.
Cleaveland, R.
Smolka, S. A.
Source
Information Processing LettersVolume
80Issue
1Pages
3-13Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
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 carefully consider the interaction between these two features from an axiomatic perspective. For this purpose, we introduce a subset of PACSR, called "PACSR-lite", that allows us to isolate the semantic issues surrounding resource hiding in a probabilistic setting, and provide a sound and complete axiomatization of strong bisimulation for this fragment. © 2001 Elsevier Science B.V. All rights reserved.