{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:59Z","timestamp":1725664799716},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610427"},{"type":"electronic","value":"9783540498742"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61042-1_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:11:33Z","timestamp":1330290693000},"page":"369-390","source":"Crossref","is-referenced-by-count":2,"title":["Probabilistic duration automata for analyzing real-time systems"],"prefix":"10.1007","author":[{"given":"Louise E.","family":"Moser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. M.","family":"Melliar-Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science 600","first-page":"28","volume-title":"Verifying automata specifications of probabilistic real-time systems","author":"R. Alur","year":"1991","unstructured":"R. Alur, C. Courcoubetis and D. Dill, \u201cVerifying automata specifications of probabilistic real-time systems\u201d, Proceedings of the REX Workshop on Real-Time: Theory in Practice, Mook, The Netherlands (June 1991), Lecture Notes in Computer Science 600, Springer-Verlag, pp. 28\u201344."},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science 443","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata for modelling real-time systems","author":"R. Alur","year":"1990","unstructured":"R. Alur and D. Dill, \u201cAutomata for modelling real-time systems,\u201d Proceedings of the 17th International Colloquium on Automata, Languages, and Programming, Warwick, England (July 1990), Lecture Notes in Computer Science 443, Springer-Verlag, pp. 322\u2013335."},{"issue":"4","key":"22_CR3","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C. Courcoubetis","year":"1995","unstructured":"C. Courcoubetis and M. Yannakakis, \u201cThe complexity of probabilistic verification,\u201d Journal of the Association for Computing Machinery 42, 4 (July 1995), pp. 857\u2013907.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"22_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0019-9958(84)80039-X","volume":"63","author":"Y. A. Feldman","year":"1984","unstructured":"Y. A. Feldman, \u201cA decidable propositional dynamic logic with explicit probabilities,\u201d Information and Control 63 (1984), pp. 11\u201338.","journal-title":"Information and Control"},{"issue":"5","key":"22_CR5","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"H. Hansson and B. Jonsson, \u201cA logic for reasoning about time and reliability,\u201d Formal Aspects of Computing 6, 5 (1994), pp. 512\u2013535.","journal-title":"Formal Aspects of Computing"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"C. Ho-Stuart, H. Zedan and M. Fang, \u201cAutomated support for the formal specification and design of real-time systems,\u201d Proceedings of the Nineteenth EUROMICRO Symposium on Microprocessing and Microprogramming, Barcelona, Spain (September 1993), pp. 79\u201386.","DOI":"10.1016\/0165-6074(93)90129-9"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"C. M. Huang, S. W. Lee and J. M. Hsu, \u201cProbabilistic timed protocol verification for the extended state transition model,\u201d Proceedings of the 1994 International Conference on Parallel and Distributed Systems, Hsinchu, Taiwan (December 1994), pp. 432\u2013437.","DOI":"10.1109\/ICPADS.1994.590352"},{"issue":"11","key":"22_CR8","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1109\/32.368134","volume":"20","author":"S. Jahanian","year":"1994","unstructured":"S. Jahanian and A. K. Mok, \u201cModechart: A specification language for realtime systems,\u201d IEEE Transactions on Software Engineering 20, 11 (November 1994), pp. 933\u2013947.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"B. Jonsson and K. G. Larsen, \u201cSpecification and refinement of probabilistic processes,\u201d Proceedings of the 6th IEEE Annual Symposium on Logic in Computer Science, Amsterdam, The Netherlands (July 1991), pp. 266\u2013277.","DOI":"10.1109\/LICS.1991.151651"},{"key":"22_CR10","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D. Kozen","year":"1985","unstructured":"D. Kozen, \u201cProbabilistic PDL,\u201d Journal of Computer and System Sciences 30 (1985), pp. 162\u2013178.","journal-title":"Journal of Computer and System Sciences"},{"key":"22_CR11","unstructured":"Z. Liu, A. P. Ravn, E. V. Sorensen and C. Zhou, \u201cA probabilistic duration calculus,\u201d Proceedings of the Second International Workshop on Responsive Computer Systems, Saitama, Japan (October 1992), pp. 14\u201327."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"N. Lynch, I. Saias and R. Segala, \u201cProving time bounds for randomized distributed algorithms,\u201d Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, CA (August 1994), pp. 314\u2013323.","DOI":"10.1145\/197917.198117"},{"key":"22_CR13","unstructured":"L. E. Moser, Y. S., Ramakrishna, G. Kutty, P. M. Melliar-Smith and L. K. Dillon, \u201cA graphical environment for design of concurrent real-time systems,\u201d Technical Report 95-18, Department of Electrical and Computer Engineering, University of California, Santa Barbara."},{"key":"22_CR14","first-page":"173","volume-title":"Lecture Notes in Computer Science 761","author":"Y. S. Ramakrishna","year":"1993","unstructured":"Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith and G. Kutty, \u201cA real-time interval logic and its decision procedure,\u201d Proceedings of the Thirteenth Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India (December 1993), Lecture Notes in Computer Science 761, Springer-Verlag, pp. 173\u2013192."},{"issue":"9","key":"22_CR15","doi-asserted-by":"crossref","first-page":"805","DOI":"10.1109\/32.159840","volume":"18","author":"A. C. Shaw","year":"1992","unstructured":"A. C. Shaw, \u201cCommunicating real-time state machines,\u201d IEEE Transactions on Software Engineering 18, 9 (September 1992), pp. 805\u2013816.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR16","unstructured":"M. Y. Vardi and P. Wolper, \u201cAn automata-theoretic approach to automatic program verification,\u201d Proceedings of the Symposium on Logic in Computer Science,\u201d Cambridge, England (June 1986), pp. 322\u2013331."},{"issue":"4","key":"22_CR17","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1287\/moor.5.4.494","volume":"5","author":"W. Whitt","year":"1980","unstructured":"W. Whitt, \u201cContinuity of generalized semi-Markov processes,\u201d Mathematics of Operations Research 5, 4 (November 1980), pp. 494\u2013501.","journal-title":"Mathematics of Operations Research"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"S. H. Wu, S. A. Smolka and E. W. Stark, \u201cComposition and behaviors of probabilistic I\/O automata,\u201d Proceedings of the 5th International Conference on Concurrency Theory, Uppsala, Sweden (August 1994), pp. 513\u2013528.","DOI":"10.1007\/978-3-540-48654-1_37"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61042-1_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:36Z","timestamp":1605647016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61042-1_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610427","9783540498742"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61042-1_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}