{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:16Z","timestamp":1762459216928},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319106953"},{"type":"electronic","value":"9783319106960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10696-0_22","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T14:33:45Z","timestamp":1409150025000},"page":"265-280","source":"Crossref","is-referenced-by-count":20,"title":["PALOMA: A Process Algebra for Located Markovian Agents"],"prefix":"10.1007","author":[{"given":"Cheng","family":"Feng","sequence":"first","affiliation":[]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-15784-4_9","volume-title":"Computer Performance Engineering","author":"D. Cerotti","year":"2010","unstructured":"Cerotti, D., Gribaudo, M., Bobbio, A., Calafate, C.T., Manzoni, P.: A Markovian agent model for fire propagation in outdoor environments. In: Aldini, A., Bernardo, M., Bononi, L., Cortellessa, V. (eds.) EPEW 2010. LNCS, vol.\u00a06342, pp. 131\u2013146. Springer, Heidelberg (2010)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Cerotti, D., Bobbie, A.: Analysis of on-off policies in sensor networks using interacting Markovian agents. In: 6th Annual IEEE International Conference on Pervasive Computing and Communications, pp. 300\u2013305. IEEE (2008)","DOI":"10.1109\/PERCOM.2008.100"},{"issue":"3","key":"22_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.peva.2010.11.007","volume":"69","author":"D. Bruneo","year":"2012","unstructured":"Bruneo, D., Scarpa, M., Bobbio, A., Cerotti, D., Gribaudo, M.: Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Performance Evaluation\u00a069(3), 135\u2013149 (2012)","journal-title":"Performance Evaluation"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-03552-4_31","volume-title":"Critical Information Infrastructure Security","author":"D. Cerotti","year":"2009","unstructured":"Cerotti, D., Gribaudo, M., Bobbio, A.: Disaster propagation in heterogeneous media via markovian agents. In: Setola, R., Geretshuber, S. (eds.) CRITIS 2008. LNCS, vol.\u00a05508, pp. 328\u2013335. Springer, Heidelberg (2009)"},{"issue":"2","key":"22_CR5","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0167-6423(95)00017-8","volume":"25","author":"K. Prasad","year":"1995","unstructured":"Prasad, K.: A calculus of broadcasting systems. Science of Computer Programming\u00a025(2), 285\u2013327 (1995)","journal-title":"Science of Computer Programming"},{"key":"22_CR6","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. CUP (2005)"},{"issue":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TSE.2010.82","volume":"38","author":"M. Tribastone","year":"2012","unstructured":"Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering\u00a038(1), 205\u2013219 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"22_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/bulm.2002.0317","volume":"65","author":"L. Sattenspiel","year":"2003","unstructured":"Sattenspiel, L., Herring, D.A.: Simulating the effect of quarantine on the spread of the 1918\u201319 flu in central Canada. Bull. of Mathematical Biology\u00a065(1), 1\u201326 (2003)","journal-title":"Bull. of Mathematical Biology"},{"key":"22_CR9","unstructured":"Sangiorgi, D., Walker, D.: The pi-calculus: a Theory of Mobile Processes. CUP (2003)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-13962-8_9","volume-title":"Programs, Proofs, Processes","author":"L. Cardelli","year":"2010","unstructured":"Cardelli, L., Gardner, P.: Processes in space. In: Ferreira, F., L\u00f6we, B., Mayordomo, E., Mendes Gomes, L. (eds.) CiE 2010. LNCS, vol.\u00a06158, pp. 78\u201387. Springer, Heidelberg (2010)"},{"issue":"7","key":"22_CR11","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"},{"issue":"33","key":"22_CR12","doi-asserted-by":"publisher","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theoretical Computer Science\u00a0410(33), 3065\u20133084 (2009)","journal-title":"Theoretical Computer Science"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-73940-1_3","volume-title":"Parallel Computing Technologies","author":"L. Brodo","year":"2007","unstructured":"Brodo, L., Degano, P., Priami, C.: A stochastic semantics for bioAmbients. In: Malyshkin, V.E. (ed.) PaCT 2007. LNCS, vol.\u00a04671, pp. 22\u201334. Springer, Heidelberg (2007)"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2008.10.006","volume":"218","author":"J. Krivine","year":"2008","unstructured":"Krivine, J., Milner, R., Troina, A.: Stochastic bigraphs. Electronic Notes in Theoretical Computer Science\u00a0218, 73\u201396 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"22_CR15","unstructured":"Efthymiou, X., Philippou, A.: A process calculus for spatially-explicit ecological models. In: Application of Membrane Computing, Concurrency and Agent-based Modelling in Population Biology (AMCA-POP 2010), pp. 84\u201378 (2010)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-24749-1_8","volume-title":"Computer Performance Engineering","author":"M.C. Guenther","year":"2011","unstructured":"Guenther, M.C., Bradley, J.T.: Higher moment analysis of a spatial stochastic process algebra. In: Thomas, N. (ed.) EPEW 2011. LNCS, vol.\u00a06977, pp. 87\u2013101. Springer, Heidelberg (2011)"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Bakhshi, R., Endrullis, J., Endrullis, S., Fokkink, W., Haverkort, B.: Automating the mean-field method for large dynamic gossip networks. In: 7th International Conference on the Quantitative Evaluation of Systems, pp. 241\u2013250. IEEE (2010)","DOI":"10.1109\/QEST.2010.38"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-35887-6_2","volume-title":"Formal Methods for Components and Objects","author":"R. De Nicola","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 25\u201348. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10696-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:48:50Z","timestamp":1558979330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10696-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319106953","9783319106960"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10696-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}