{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:10Z","timestamp":1725574390136},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_11","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T22:57:55Z","timestamp":1294354675000},"page":"119-134","source":"Crossref","is-referenced-by-count":10,"title":["Probabilistic KLAIM"],"prefix":"10.1007","author":[{"given":"Alessandra","family":"Di Pierro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Hankin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Wiklicky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering\u00a024, 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR2","series-title":"Cambridge Series in Statistical and Probabilistic Mathematics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810633","volume-title":"Markov Chains","author":"J. Norris","year":"1997","unstructured":"Norris, J.: Markov Chains. Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge (1997)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic Petri Nets \u2013 An Introduction to the Theory, 2nd edn. Vieweg Verlag (2002)","DOI":"10.1007\/978-3-322-86501-4"},{"key":"11_CR4","volume-title":"Stochastic Models \u2013 An Algorithmic Approach","author":"H.C. Tijms","year":"1994","unstructured":"Tijms, H.C.: Stochastic Models \u2013 An Algorithmic Approach. John Wiley & Sons, Chichester (1994)"},{"key":"11_CR5","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Analysing the propagation of computer viruses. Journal of Functional Programming (2003) (submitted)"},{"key":"11_CR6","first-page":"443","volume-title":"Proceedings of the IFIP WG 2.2\/2.3 Working Conference on Programming Concepts and Methods","author":"A. Giacalone","year":"1990","unstructured":"Giacalone, A., Jou, C.C., Smolka, S.: Algebraic reasoning for probabilistic concurrent systems. In: Proceedings of the IFIP WG 2.2\/2.3 Working Conference on Programming Concepts and Methods, pp. 443\u2013458. North-Holland, Amsterdam (1990)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Yi, W., Larsen, K.: 11. In: Probabilistic Extentions of Process Algebras, pp. 685\u2013710. Elsevier Science, Amsterdam (2001); see [17]","DOI":"10.1016\/B978-044482830-9\/50029-1"},{"key":"11_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-44654-0_11","volume-title":"New Trends in Constraints","author":"A. Pierro Di","year":"2000","unstructured":"Di Pierro, A., Wiklicky, H.: Quantitative observables and averages in Probabilistic Concurrent Constraint Programming. In: Apt, K.R., et al. (eds.) Compulog Net WS 1999. LNCS (LNAI), vol.\u00a01865, p. 212. Springer, Heidelberg (2000)"},{"key":"11_CR9","unstructured":"Hillston, J.: PEPA: Performance enhanced process algebra. Technical Report CSR-24-93, University of Edinburgh, Edinburgh, Scotland (1993)"},{"key":"11_CR10","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. Computer Journal\u00a038, 578\u2013589 (1995)","journal-title":"Computer Journal"},{"key":"11_CR11","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, Cambridge (1996)"},{"key":"11_CR12","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Technical Report UBLCS-96-17, Department of Computer Science, University of Bologna (1997)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-46002-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 52\u201366. Springer, Heidelberg (2002)"},{"key":"11_CR14","unstructured":"de Alfaro, L.: Formal Verification of Probabilistic Systems. PhD thesis, Stanford University, Department of Computer Science (1998)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"37","DOI":"10.3233\/JCS-2004-12103","volume":"12","author":"A. Pierro Di","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Approximate Non-Interference. Journal of Computer Security\u00a012, 37\u201381 (2004)","journal-title":"Journal of Computer Security"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A process algebraic approach for the analysis of probabilistic non-interference. Journal of Computer Security (2004)","DOI":"10.3233\/JCS-2004-12202"},{"volume-title":"Handbook of Process Algebra","year":"2001","key":"11_CR17","unstructured":"Bergstra, J., Ponse, A., Smolka, S. (eds.): Handbook of Process Algebra. Elsevier Science, Amsterdam (2001)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24634-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:05:09Z","timestamp":1559912709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}