Hiding Resources that Can Fail

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Philippou, Anna
Cleaveland, Rance
Smolka, Scott A
Contributor
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.

Advisor
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Publication date
2001-10-15
Journal title
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
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
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
Recommended citation
Collection