{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:29:52Z","timestamp":1753522192453,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642247484"},{"type":"electronic","value":"9783642247491"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24749-1_8","type":"book-chapter","created":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T04:13:42Z","timestamp":1327637622000},"page":"87-101","source":"Crossref","is-referenced-by-count":13,"title":["Higher Moment Analysis of a Spatial Stochastic Process Algebra"],"prefix":"10.1007","author":[{"given":"Marcel C.","family":"Guenther","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy T.","family":"Bradley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling Crowd Dynamics in Bio-PEPA. In: Proceedings of the 9th Workshop PASTA\/Bio-PASTA, pp. 1\u201311 (2010)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bracciali, A., Hillston, J., Latella, D., Massink, M.: Reconciling Population and Agent Models for Crowd Dynamics. In: 3rd International Workshop on Logics, Agents, and Mobility, LAM 2010 (2010)","DOI":"10.29007\/7cgj"},{"key":"8_CR3","series-title":"Cambridge studies in adaptive dynamics","first-page":"412","volume-title":"Relaxation projections and the method of moments","author":"U. Dieckmann","year":"2000","unstructured":"Dieckmann, U., Law, R.: Relaxation projections and the method of moments. Cambridge studies in adaptive dynamics, ch. 21, pp. 412\u2013455. Cambridge University Press, Cambridge (2000)"},{"key":"8_CR4","unstructured":"Stefanek, A., Vigliotti, M., Bradley, J.T.: Spatial extension of stochastic pi calculus. In: 8th Workshop on Process Algebra and Stochastically Timed Activities, pp. 109\u2013117 (2009)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Gribaudo, M., Cerotti, D., Bobbio, A.: Analysis of on-off policies in sensor networks using interacting markovian agents. In: 6th IEEE International Conference on Pervasive Computing and Communications (PerCom), pp. 300\u2013305 (2008)","DOI":"10.1109\/PERCOM.2008.100"},{"key":"8_CR6","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":"8_CR7","first-page":"1","volume-title":"IEEE International Symposium on Modeling Analysis Simulation of Computer and Telecommunication Systems MASCOTS","author":"D. Cerotti","year":"2009","unstructured":"Cerotti, D., Gribaudo, M., Bobbio, A.: Presenting Dynamic Markovian Agents with a road tunnel application. In: IEEE International Symposium on Modeling Analysis Simulation of Computer and Telecommunication Systems MASCOTS, pp. 1\u20134. IEEE, Los Alamitos (2009)"},{"key":"8_CR8","unstructured":"Galpin, V.: Towards a spatial stochastic process algebra. In: Proceedings of the 7th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), Edinburgh (2008)"},{"issue":"25","key":"8_CR9","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Second International Conference on the Quantitative Evaluation of Systems QEST 2005, pp. 33\u201342 (2005)","DOI":"10.1109\/QEST.2005.12"},{"issue":"22-24","key":"8_CR11","doi-asserted-by":"publisher","first-page":"2260","DOI":"10.1016\/j.tcs.2010.02.001","volume":"411","author":"R.A. Hayden","year":"2010","unstructured":"Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theoretical Computer Science\u00a0411(22-24), 2260\u20132297 (2010)","journal-title":"Theoretical Computer Science"},{"key":"8_CR12","unstructured":"Hayden, R.A., Stefanek, A., Bradley, J.T.: Fluid computation of passage time distributions in large Markov models. Theoretical Computer Science (submitted, 2010)"},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.amc.2005.12.032","volume":"180","author":"S. Engblom","year":"2006","unstructured":"Engblom, S.: Computing the moments of high dimensional solutions of the master equation. Applied Mathematics and Computation\u00a0180(2), 498\u2013515 (2006)","journal-title":"Applied Mathematics and Computation"},{"key":"8_CR14","series-title":"North-Holland personal library","volume-title":"Stochastic Processes in Physics and Chemistry","author":"N.G. Kampen Van","year":"1992","unstructured":"Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry. North-Holland personal library, vol.\u00a011. North-Holland, Amsterdam (1992)"},{"key":"8_CR15","unstructured":"Bobbio, A., Gribaudo, M., Telek, M.: Mean Field Methods in Performance Analysis. In: Fifth International Conference on Quantitative Evaluation of Systems, QEST, 2008, pp. 215\u2013224 (2008)"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"158","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, p. 158. Cambridge University Press, Cambridge (1996)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Le Boudec, J.-Y., McDonald, D., Mundinger, J.: A Generic Mean Field Convergence Result for Systems of Interacting Objects. In: Fourth International Conference on the Quantitative Evaluation of Systems QEST 2007, pp. 3\u201318 (2007)","DOI":"10.1109\/QEST.2007.8"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/j.jtbi.2004.04.013","volume":"229","author":"D.J. Murrell","year":"2004","unstructured":"Murrell, D.J., Dieckmann, U., Law, R.: On moment closures for population dynamics in continuous space. Journal of Theoretical Biology\u00a0229(3), 421\u2013432 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"8_CR19","unstructured":"Cerotti, D.: Interacting Markovian Agents. PhD thesis, University of Torino (2010)"},{"issue":"3","key":"8_CR20","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.entcs.2008.11.025","volume":"220","author":"L. Bortolussi","year":"2008","unstructured":"Bortolussi, L.: On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. Electronic Notes in Theoretical Computer Science\u00a0220(3), 163\u2013180 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1049\/iet-syb:20070031","volume":"3","author":"C.S. Gillespie","year":"2009","unstructured":"Gillespie, C.S.: Moment-closure approximations for mass-action models. IET Systems Biology\u00a03(1), 52\u201358 (2009)","journal-title":"IET Systems Biology"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Guenther, M.C., Bradley, J.T.: Higher moment analysis of a spatial stochastic process algebra. Tech. rep., Imperial College London (July 2011), http:\/\/pubs.doc.ic.ac.uk\/masspa-higher-moments\/","DOI":"10.1007\/978-3-642-24749-1_8"},{"key":"8_CR23","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Galpin, V.: Modelling network performance with a spatial stochastic process algebra. In: Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications (AINA 2009), Bradford, pp. 41\u201349 (May 2009)","DOI":"10.1109\/AINA.2009.75"},{"issue":"34","key":"8_CR25","doi-asserted-by":"publisher","first-page":"12781","DOI":"10.1073\/pnas.0603994103","volume":"103","author":"O. Ovaskainen","year":"2006","unstructured":"Ovaskainen, O., Cornell, S.J.: Space and stochasticity in population dynamics. Proceedings of the National Academy of Sciences of the United States of America\u00a0103(34), 12781\u201312786 (2006)","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24749-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T09:15:20Z","timestamp":1742375720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24749-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642247484","9783642247491"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24749-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}