{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:37Z","timestamp":1761596977610},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648963"},{"type":"electronic","value":"9783540684558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055637","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T07:31:00Z","timestamp":1153985460000},"page":"389-404","source":"Crossref","is-referenced-by-count":11,"title":["Probabilistic resource failure in real-time process algebra"],"prefix":"10.1007","author":[{"given":"Anna","family":"Philippou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rance","family":"Cleaveland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, L. Jagadeesan, J. Kott, and J. V. Olnhausen. Model-checking of real-time systems: a telecommunications application. In Proceedings of the International Conference on Software Engineering, 1997.","DOI":"10.1145\/253228.253434"},{"issue":"2","key":"26_CR2","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"121","author":"J. Baeten","year":"1995","unstructured":"J. Baeten, J. Bergstra, and S. Smolka. Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation, 121(2):234\u2013255, Sept. 1995.","journal-title":"Information and Computation"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"C. Baier, E. Clarke, V. Hartonas-Garmhausen, M. Kwiatkowska, and M. Ryan. Symbolic model checking for probabilistic processes. In Proceedings of ICALP '97, volume 1256 of Lecture Notes in Computer Science, pages 430\u2013440. Springer-Verlag, July 1997.","DOI":"10.1007\/3-540-63165-8_199"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"C. Baier and M. Kwiatkowska. Automatic verification of liveness properties of randomized systems (extended abstract). In Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, California, Aug. 1997.","DOI":"10.1145\/259380.259527"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"H. Ben-Abdallah, D. Clarke, I. Lee, and O. Sokolsky. PARAGON: A Paradigm for the Specification, Verification, and Testing of Real-Time Systems. In IEEE Aerospace Conference, pages 469\u2013488, Feb 1\u20138 1997.","DOI":"10.1109\/AERO.1997.577994"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"A. Bianco and L. de Alfaro. Model checking of probabilistic and nondeterministic systems. In Proceedings Foundations of Software Techonology ans Theoretical Computer Science, volume 1026 of Lecture Notes in Computer Science, pages 499\u2013513. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60692-0_70"},{"key":"26_CR7","unstructured":"E. Clarke and E. Emerson. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. LNCS 131, 1981."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"E. Clarke, E. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Trans. Prog. Lang. Syst., 8(2), 1986.","DOI":"10.1145\/5397.5399"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"R. De Nicola and P. Vaandrager. Three logics for branching bisimulation. In Proceedngs of LICS '90. IEEE Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113739"},{"key":"26_CR10","volume-title":"IFIP TC 2","author":"A. Giacalone","year":"1990","unstructured":"A. Giacalone, C. Jou, and S. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proceedings of Working Conference on Programming Concepts and Methods, Sea of Gallilee, Israel, Apr. 1990. IFIP TC 2, North-Holland."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"P. Halmos. Measure Theory. Springer Verlag, 1950.","DOI":"10.1007\/978-1-4684-9440-2"},{"key":"26_CR12","unstructured":"H. Hansson. Time and Probability in Formal Design of Distributed Systems. PhD thesis, Department of Computer Systems, Uppsala University, 1991. DoCS 91\/27."},{"key":"26_CR13","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"H. Hansson and B. Jonsson. A logic for reasoning about time and probability. Formal Aspects of Computing, 6:512\u2013535, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"26_CR14","unstructured":"P. Iyer and M. Narasimha. \u2018almost always\u2019 and \u2018definitely sometime\u2019 are not enough: Probabilistic quantifiers and probabilistic model checking. Technical Report TR-96-16, Department of Computer Science, North Carolina State University, July 1996."},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"H. Karloff. Linear Programming. Progress in Theoretical Computer Science. Birkhauser, 1991.","DOI":"10.1007\/978-0-8176-4844-2"},{"key":"26_CR16","unstructured":"J.-P. Katoen, R. Langerak, and D. Latella. Modeling systems by probabilistic process algebra: An event structures approach. In Proceedings of FORTE '92 \u2014 Fifth International Conference on Formal Description Techniques, pages 255\u2013270, Oct. 1993."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"I. Lee, P. Br\u00e9mond-Gr\u00e9goire, and R. Gerber. A process algebraic approach to the specification and analysis of resource-bound real-time systems. Proceedings of the IEEE, pages 158\u2013171, Jan 1994.","DOI":"10.1109\/5.259433"},{"key":"26_CR18","unstructured":"R. Segala. Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1995."},{"key":"26_CR19","first-page":"481","volume-title":"volume 836 of Lecture Notes in Computer Science","author":"R. Segala","year":"1994","unstructured":"R. Segala and N. Lynch. Probabilistic simulations for probabilistic processes. In B. Jonsson and J. Parrow, editors, Proceedings CONCUR 94, Uppsala, Sweden, volume 836 of Lecture Notes in Computer Science, pages 481\u2013496. Springer-Verlag, 1994."},{"key":"26_CR20","unstructured":"K. Seidel. Probabilistic CSP. PhD thesis, Oxford University, 1992."},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/BF01211867","volume":"4","author":"C. Tofts","year":"1994","unstructured":"C. Tofts. Processes with probabilities, priorities and time. Formal Aspects of Computing, 4:536\u2013564, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"M. Vardi. Automatic verification of probabilistic concurrent finite-state programs. In Proceedings 26th Annual Symposium on Foundations of Computer Science, pages 327\u2013338. IEEE, 1985.","DOI":"10.1109\/SFCS.1985.12"}],"container-title":["Lecture Notes in Computer Science","CONCUR'98 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T08:29:23Z","timestamp":1555748963000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055637"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648963","9783540684558"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0055637","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}