Hiding Resources that Can Fail

Simple item page
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorLee, Insup
dc.contributor.authorCleaveland, Rance
dc.contributor.authorSmolka, Scott A
dc.date2023-05-16T22:29:00.000
dc.date.accessioned2023-05-22T12:46:12Z
dc.date.available2023-05-22T12:46:12Z
dc.date.issued2001-10-15
dc.date.submitted2005-05-23T09:43:52-07:00
dc.description.abstractIn 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.
dc.description.commentsPostprint version. Published in <i>Information Processing Letters</i>, Volume 80, Issue 1, 15 October 2001, pages 3-13.<br> Publisher URL: http://www.sciencedirect.com/science/journal/00200190
dc.description.comments<br>Postprint version. Published in <i>Information Processing Letters</i>, Volume 80, Issue 1, 15 October 2001, pages 3-13.<br> Publisher URL: http://www.sciencedirect.com/science/journal/00200190 <br><p>
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6170
dc.legacy.articleid1152
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1152&amp;context=cis_papers&amp;unstamped=1
dc.source.issue142
dc.source.journalDepartmental Papers (CIS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.titleHiding Resources that Can Fail
dc.typeArticle
digcom.contributor.authorPhilippou, Anna
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorCleaveland, Rance
digcom.contributor.authorSmolka, Scott A
digcom.identifiercis_papers/142
digcom.identifier.contextkey72460
digcom.identifier.submissionpathcis_papers/142
digcom.typearticle
dspace.entity.typePublication
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication.latestForDiscovery35e1b18e-15fe-4438-be3b-84593f70a40a
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
01ipl.pdf
Size:
333.05 KB
Format:
Adobe Portable Document Format
Download
Collection
Articles