{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T12:10:02Z","timestamp":1749039002915,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319439037"},{"type":"electronic","value":"9783319439044"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-43904-4_7","type":"book-chapter","created":{"date-parts":[[2016,8,3]],"date-time":"2016-08-03T06:00:55Z","timestamp":1470204055000},"page":"92-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,4]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1007\/978-3-540-78929-1_43","volume-title":"Hybrid Systems: Computation and Control","author":"A Abate","year":"2008","unstructured":"Abate, A., Prandini, M., Lygeros, J., Sastry, S.S.: Approximation of general stochastic hybrid systems by switching diffusions with random hybrid jumps. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 598\u2013601. Springer, Heidelberg (2008)"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1109\/90.532871","volume":"4","author":"IF Akyildiz","year":"1996","unstructured":"Akyildiz, I.F., Ho, J.S.M., Lin, Y.B.: Movement-based location update and selective paging for PCS networks. IEEE\/ACM Trans. Netw. 4(4), 629\u2013638 (1996)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bar-Noy, A., Kessler, I., Sidi, M.: Mobile users: to uptdate or not to update? In: INFOCOM, pp. 570\u2013576 (1994)","DOI":"10.1109\/INFCOM.1994.337685"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-642-13568-2_26","volume-title":"Analytical and Stochastic Modeling Techniques and Applications","author":"L Bortolussi","year":"2010","unstructured":"Bortolussi, L.: Limit behavior of the hybrid approximation of stochastic process algebras. In: Al-Begain, K., Fiems, D., Knottenbelt, W.J. (eds.) ASMTA 2010. LNCS, vol. 6148, pp. 367\u2013381. Springer, Heidelberg (2010)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-32940-1_24","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"L Bortolussi","year":"2012","unstructured":"Bortolussi, L., Hillston, J.: Fluid model checking. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 333\u2013347. Springer, Heidelberg (2012)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.ic.2015.03.002","volume":"242","author":"L Bortolussi","year":"2015","unstructured":"Bortolussi, L., Hillston, J.: Model checking single agent behaviours by fluid approximation. Inf. Comput. 242, 183\u2013226 (2015)","journal-title":"Inf. Comput."},{"issue":"5","key":"7_CR7","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. Perform. Eval. 70(5), 317\u2013349 (2013)","journal-title":"Perform. Eval."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Boudec, J.Y.L., McDonald, D., Mundinger, J.: A generic mean field convergence result for systems of interacting objects. In: QEST 2007, pp. 3\u201318 (2007)","DOI":"10.1109\/QEST.2007.8"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1214\/07-PS121","volume":"5","author":"RWR Darling","year":"2008","unstructured":"Darling, R.W.R., Norris, J.R.: Differential equation approximations for Markov chains. Probab. Surv. [electroninc only] 5, 37\u201379 (2008)","journal-title":"Probab. Surv. [electroninc only]"},{"key":"7_CR10","unstructured":"Gamal, A., Mammen, J., Prabhakar, B., Shah, D.: Throughput-delay trade-off in wireless networks. In: INFOCOM (2004)"},{"issue":"9","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"MA Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Phys. Chem. A 104(9), 1876\u20131889 (2000)","journal-title":"J. Phys. Chem. A"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Ioannidis, S., Marbach, P.: A brownian motion model for last encounter routing. In: INFOCOM (2006)","DOI":"10.1109\/INFOCOM.2006.301"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Kowal, M., Tschaikowski, M., Tribastone, M., Schaefer, I.: Scaling size and parameter spaces in variability-aware software performance models. In: ASE 2015 (2015)","DOI":"10.1109\/ASE.2015.16"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Qiu, D., Srikant, R.: Modeling and performance analysis of BitTorrent-like peer-to-peer networks. In: SIGCOMM (2004)","DOI":"10.1145\/1015467.1015508"},{"issue":"2","key":"7_CR15","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s11009-009-9155-1","volume":"13","author":"A Ramponi","year":"2009","unstructured":"Ramponi, A.: Mixture dynamics and regime switching diffusions with application to option pricing. Method. Comput. Appl. Probab. 13(2), 349\u2013368 (2009). http:\/\/dx.doi.org\/10.1007\/s11009-009-9155-1","journal-title":"Method. Comput. Appl. Probab."},{"key":"7_CR16","unstructured":"Tschaikowski, M., Tribastone, M.: Spatial Fluid Limits for Stochastic Mobile Networks. http:\/\/arxiv.org\/abs\/1307.4566"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Tschaikowski, M., Tribastone, M.: A partial-differential approximation for spatial stochastic process algebra. In: VALUETOOLS (2014)","DOI":"10.4108\/icst.valuetools.2014.258170"},{"key":"7_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-1105-6","volume-title":"Hybrid Switching Diffusions","author":"G Yin","year":"2010","unstructured":"Yin, G., Zhu, C.: Hybrid Switching Diffusions. Springer, New York (2010)"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modelling Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43904-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T11:48:56Z","timestamp":1749037736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43904-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319439037","9783319439044"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43904-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"4 August 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ASMTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Analytical and Stochastic Modeling Techniques and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cardiff","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"asmta2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}