✦ LIBER ✦

Hiding resources that can fail: An axiomatic perspective

✍ Scribed by Anna Philippou; Oleg Sokolsky; Insup Lee; Rance Cleaveland; Scott A. Smolka

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 144 KB
Volume: 80
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(01)00212-5

No coin nor oath required. For personal study only.

✦ Synopsis

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 "PACSRlite", 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.

📜 SIMILAR VOLUMES

An inquiry into the different perspectiv

An inquiry into the different perspectives that can be used when eliciting preferences in health

✍ Paul Dolan; Jan Abel Olsen; Paul Menzel; Jeff Richardson 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 97 KB

## Abstract There are a number of perspectives that an individual could be asked to adopt in studies designed to elicit preferences for use in informing resource allocation decisions in health care. This paper develops a conceptual framework that clearly distinguishes between six different perspect