ALCOMFT-TR-02-138

Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland and Scott Smolka
Hiding Resources that Can Fail: An Axiomatic Perspective
Cyprus. Work package 4. June 2002.

Abstract: 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. \endabstract

Postscript file: ALCOMFT-TR-02-138.ps.gz (93 kb).