Departmental Papers (CIS)

Title

Hiding Resources that Can Fail

Document Type

Journal Article

Date of this Version

October 2001

Comments

Postprint version. Published in Information Processing Letters, Volume 80, Issue 1, 15 October 2001, pages 3-13.
Publisher URL: http://www.sciencedirect.com/science/journal/00200190

Abstract

In earlier work, we presented a process algebra, PACSR, that uses resource failures to capture probabilistic behavior in reactive systems. In this paper, we explore the effects of resource failures in the situation where resources may be hidden from the environment. For this purpose, we introduce a subset of PACSR, called "PACSR-lite," that allows us to isolate the issues surrounding resource hiding, and we provide a sound and complete axiomatization of strong bisimulation for this fragment.

Date Posted: 25 May 2005

This document has been peer reviewed.