{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T11:22:08Z","timestamp":1648898528412},"reference-count":14,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,10,1]],"date-time":"2001-10-01T00:00:00Z","timestamp":1001894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2001,10]]},"DOI":"10.1016\/s0020-0190(01)00212-5","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T13:55:05Z","timestamp":1034603705000},"page":"3-13","source":"Crossref","is-referenced-by-count":0,"title":["Hiding resources that can fail: An axiomatic perspective"],"prefix":"10.1016","volume":"80","author":[{"given":"Anna","family":"Philippou","sequence":"first","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S0020-0190(01)00212-5_BIB001","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1006\/inco.1995.1135","article-title":"Axiomatizing probabilistic processes: ACP with generative probabilities","volume":"121","author":"Baeten","year":"1995","journal-title":"Inform. and Comput."},{"issue":"2","key":"10.1016\/S0020-0190(01)00212-5_BIB002","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1006\/inco.1997.2657","article-title":"A complete axiomatization of finite-states ACSR processes","volume":"138","author":"Br\u00e9mond-Gr\u00e9goire","year":"1997","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0020-0190(01)00212-5_BIB003","series-title":"Proc. Working Conf. on Programming Concepts Methods, IFIP TC 2","article-title":"Algebraic reasoning for probabilistic concurrent systems","author":"Giacalone","year":"1990"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB004","series-title":"Time and probability in formal design of distributed systems, PhD thesis","author":"Hansson","year":"1991"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB005","series-title":"Proc. FORTE'92","first-page":"255","article-title":"Modeling systems by probabilistic process algebra: An event structured approach","author":"Katoen","year":"1993"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB006","series-title":"Conf. Record 16th ACM Symposium on Principles of Programming Languages","first-page":"344","article-title":"Bisimulation through probabilistic testing","author":"Larsen","year":"1989"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB007","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/5.259433","article-title":"A process algebraic approach to the specification and analysis of resource-bound real-time systems","volume":"82","author":"Lee","year":"1994","journal-title":"Proc. IEEE"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB008","series-title":"A Calculus of Communicating Systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB009","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","article-title":"A complete axiomatization for observational congruence of finite-state behaviors","volume":"81","author":"Milner","year":"1989","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0020-0190(01)00212-5_BIB010","series-title":"Proc. 5th GI Conference","first-page":"167","article-title":"Concurrency and automata on infinite sequences","volume":"104","author":"Park","year":"1981"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB011","series-title":"Proc. CONCUR'98","article-title":"Probabilistic resource failure in a real-time process algebra","author":"Philippou","year":"1998"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB012","series-title":"Hiding resources that can fail: An axiomatic perspective, Technical Report TR-2001-1","author":"Philippou","year":"2001"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB013","series-title":"Probabilistic CSP, PhD thesis","author":"Seidel","year":"1992"},{"key":"10.1016\/S0020-0190(01)00212-5_BIB014","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1007\/BF01211867","article-title":"Processes with probabilities, priorities and time","volume":"4","author":"Tofts","year":"1994","journal-title":"Formal Aspects Comput."}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019001002125?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019001002125?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:26:51Z","timestamp":1555752411000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019001002125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,10]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,10]]}},"alternative-id":["S0020019001002125"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(01)00212-5","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2001,10]]}}}