{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:12:17Z","timestamp":1743109937062,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_30","type":"book-chapter","created":{"date-parts":[[2015,3,4]],"date-time":"2015-03-04T21:19:15Z","timestamp":1425503955000},"page":"522-537","source":"Crossref","is-referenced-by-count":3,"title":["Stochastic Model Checking of the Stochastic Quality Calculus"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Kebin","family":"Zeng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"issue":"5","key":"30_CR2","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/S1571-0661(04)80519-X","volume":"68","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M.: An integrated approach for the specification and analysis of stochastic real-time systems. Electr. Notes Theor. Comput. Sci.\u00a068(5), 34\u201364 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.entcs.2005.12.107","volume":"162","author":"M. Bravetti","year":"2006","unstructured":"Bravetti, M.: Stochastic and real time in process algebra: A conceptual overview. Electr. Notes Theor. Comput. Sci.\u00a0162, 113\u2013119 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24611-4_2","volume-title":"Validation of Stochastic Systems","author":"M. Bravetti","year":"2004","unstructured":"Bravetti, M., D\u2019Argenio, P.R.: Tutte le algebre insieme: Concepts, discussions and relations of stochastic process algebras with general distributions. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 44\u201388. Springer, Heidelberg (2004)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Brinksma, E., Hermanns, H.: Process Algebra and Markov Chains, pp. 183\u2013231. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-44667-2_5"},{"key":"30_CR6","unstructured":"Ciobanu, G., Koutny, M.: PerTiMo: A Model of Spatial Migration with Safe Access Permissions. Newcastle University, Computing Science (2011)"},{"key":"30_CR7","unstructured":"De Nicola, R., Katoen, J.-P., Latella, D., Massink, M.: Stoklaim: A stochastic extension of klaim. CNR-ISTI Technical Report number ISTI-2006-TR-01 (2006)"},{"key":"30_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A compositional approach to performance modelling. Cambridge University Press, New York (1996)"},{"key":"30_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"issue":"4","key":"30_CR10","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1530873.1530882","volume":"36","author":"M. Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Prism: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review\u00a036(4), 40\u201345 (2009)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Milner, R.: A proposal for Standard ML. In: Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, pp. 184\u2013197. ACM (1984)","DOI":"10.1145\/800055.802035"},{"key":"30_CR12","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press (1999)"},{"key":"30_CR13","first-page":"7","volume":"17","author":"B.F. Nielsen","year":"2010","unstructured":"Nielsen, B.F., Nielson, F., Nielson, H.R.: Model checking multivariate state rewards. QEST\u00a017, 7\u201316 (2010)","journal-title":"QEST"},{"key":"30_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-38592-6_18","volume-title":"Formal Techniques for Distributed Systems","author":"H.R. Nielson","year":"2013","unstructured":"Nielson, H.R., Nielson, F.: Probabilistic analysis of the quality calculus. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol.\u00a07892, pp. 258\u2013272. Springer, Heidelberg (2013)"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-35861-6_12","volume-title":"Formal Aspects of Component Software","author":"H.R. Nielson","year":"2013","unstructured":"Nielson, H.R., Nielson, F., Vigo, R.: A calculus for quality. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol.\u00a07684, pp. 188\u2013204. Springer, Heidelberg (2013), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-642-35861-6_12"},{"issue":"7","key":"30_CR16","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"30_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-642-38613-8_28","volume-title":"Integrated Formal Methods","author":"R. Vigo","year":"2013","unstructured":"Vigo, R., Nielson, F., Nielson, H.R.: Broadcast, denial-of-service, and secure communication. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol.\u00a07940, pp. 412\u2013427. Springer, Heidelberg (2013)"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Wang, C., Groot, M.d.: Managing end-user preferences in the smart grid. In: Proceedings of the 1st International Conference on Energy-Efficient Computing and Networking, e-Energy 2010, pp. 105\u2013114. ACM (2010)","DOI":"10.1145\/1791314.1791330"},{"key":"30_CR19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-54233-7_136","volume-title":"Automata, Languages and Programming","author":"W. Yi","year":"1991","unstructured":"Yi, W.: CCS+time = an interleaving model for real time systems. In: Albert, J.L., Monien, B., Artalejo, M.R. (eds.) Automata, Languages and Programming. LNCS, vol.\u00a0510, pp. 217\u2013228. Springer, Heidelberg (1991)"},{"key":"30_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-662-43376-8_12","volume-title":"Coordination Models and Languages","author":"K. Zeng","year":"2014","unstructured":"Zeng, K., Nielson, F., Nielson, H.R.: The Stochastic Quality Calculus. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol.\u00a08459, pp. 179\u2013193. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T09:20:08Z","timestamp":1559121608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}