dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Sokolsky, O. | en |
dc.contributor.author | Lee, I. | en |
dc.contributor.author | Cleaveland, R. | en |
dc.contributor.author | Smolka, S. A. | en |
dc.creator | Philippou, Anna | en |
dc.creator | Sokolsky, O. | en |
dc.creator | Lee, I. | en |
dc.creator | Cleaveland, R. | en |
dc.creator | Smolka, S. A. | en |
dc.date.accessioned | 2019-11-13T10:42:00Z | |
dc.date.available | 2019-11-13T10:42:00Z | |
dc.date.issued | 2001 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54843 | |
dc.description.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. © 2001 Elsevier Science B.V. All rights reserved. | en |
dc.source | Information Processing Letters | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035888406&doi=10.1016%2fS0020-0190%2801%2900212-5&partnerID=40&md5=a83df310e541e21b56dddd8b01586ab0 | |
dc.subject | Algebra | en |
dc.subject | Computer simulation | en |
dc.subject | Probabilistic logics | en |
dc.subject | Data reduction | en |
dc.subject | Semantics | en |
dc.subject | Process algebra | en |
dc.subject | Reactive systems | en |
dc.subject | Probabilistic process algebra | en |
dc.subject | Resource failure | en |
dc.subject | Sound and complete axiomatization | en |
dc.subject | Strong bisimulation | en |
dc.title | Hiding resources that can fail: An axiomatic perspective | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1016/S0020-0190(01)00212-5 | |
dc.description.volume | 80 | |
dc.description.issue | 1 | |
dc.description.startingpage | 3 | |
dc.description.endingpage | 13 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | Inf.Process.Lett. | en |