{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:37:13Z","timestamp":1767137833157,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319051185","type":"print"},{"value":"9783319051192","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05119-2_2","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T04:36:28Z","timestamp":1394166988000},"page":"14-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Challenges for Quantitative Analysis of Collective Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Jane","family":"Hillston","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2(2), 93\u2013122 (1984)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"1\u20132","key":"2_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor. Comput. Sci. 202(1\u20132), 1\u201354 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR3","series-title":"LNCS","first-page":"113","volume-title":"SFM 2013","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J.: Checking individual agent behaviours in Markov population models by fluid approximation. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 113\u2013149. Springer, Heidelberg (2013)"},{"issue":"5","key":"2_CR4","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":"2_CR5","series-title":"LNCS","first-page":"123","volume-title":"QEST 2013","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Lanciani, R.: Model checking Markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 123\u2013138. Springer, Heidelberg (2013)"},{"issue":"6","key":"2_CR6","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1016\/j.jcss.2007.07.005","volume":"74","author":"JT Bradley","year":"2008","unstructured":"Bradley, J.T., Gilmore, S.T., Hillston, J.: Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74(6), 1013\u20131032 (2008)","journal-title":"J. Comput. Syst. Sci."},{"key":"2_CR7","series-title":"LNCS","first-page":"25","volume-title":"FMCO 2011","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., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25\u201348. Springer, Heidelberg (2012)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Guenther, M.C., Bradley, J.T.: Mean-field analysis of data flows in wireless sensor networks. In: ACM\/SPEC International Conference on Performance, Engineering, ICPE\u201913, pp. 51\u201362 (2013)","DOI":"10.1145\/2479871.2479882"},{"issue":"22\u201324","key":"2_CR9","doi-asserted-by":"publisher","first-page":"2260","DOI":"10.1016\/j.tcs.2010.02.001","volume":"411","author":"RA Hayden","year":"2010","unstructured":"Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 411(22\u201324), 2260\u20132297 (2010)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.tcs.2011.07.017","volume":"413","author":"RA Hayden","year":"2012","unstructured":"Hayden, R.A., Stefanek, A., Bradley, J.T.: Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci. 413(1), 106\u2013141 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR11","series-title":"LNCS","volume-title":"Interactive Markov Chains: The Quest for Quantified Quality","year":"2002","unstructured":"Hermanns, H. (ed.): Interactive Markov Chains: The Quest for Quantified Quality. LNCS, vol. 2428. Springer, Heidelberg (2002)"},{"key":"2_CR12","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"2005","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (2005)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: 2nd International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), pp. 33\u201343 (2005)","DOI":"10.1109\/QEST.2005.12"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-006-0011-6","volume":"19","author":"J Hillston","year":"2007","unstructured":"Hillston, J., Kloul, L.: Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects Comput. 19(1), 3\u201333 (2007)","journal-title":"Formal Aspects Comput."},{"issue":"7","key":"2_CR15","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1093\/comjnl\/bxr094","volume":"55","author":"J Hillston","year":"2012","unstructured":"Hillston, J., Tribastone, M., Gilmore, S.: Stochastic process algebras: from individuals to populations. Comput. J. 55(7), 866\u2013881 (2012)","journal-title":"Comput. J."},{"issue":"4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1530873.1530882","volume":"36","author":"MZ Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Eval. Rev. 36(4), 40\u201345 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"2\u20133","key":"2_CR17","first-page":"20","volume":"7","author":"M Massink","year":"2013","unstructured":"Massink, M., Brambilla, M., Latella, D., Dorigo, M., Birattari, M.: On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. Swarm Intell. 7(2\u20133), 20\u2013228 (2013)","journal-title":"Swarm Intell."},{"issue":"2","key":"2_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s00165-011-0188-1","volume":"24","author":"M Massink","year":"2012","unstructured":"Massink, M., Latella, D., Bracciali, A., Harrison, M.D., Hillston, J.: Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24(2), 267\u2013302 (2012)","journal-title":"Formal Aspects Comput."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Massink, M., Harrison, M.D., Latella, D.: Scalable analysis of collective behaviour in smart service systems. In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), pp. 1173\u20131180 (2010)","DOI":"10.1145\/1774088.1774337"},{"key":"2_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1109\/TSE.2011.81","volume":"38","author":"M Tribastone","year":"2012","unstructured":"Tribastone, M., Ding, J., Gilmore, S., Hillston, J.: Fluid rewards for a stochastic process algebra. IEEE Trans. Softw. Eng. 38(4), 861\u2013874 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"2_CR22","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TSE.2010.82","volume":"38","author":"M Tribastone","year":"2012","unstructured":"Tribastone, M., Hillston, J., Gilmore, S.: Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng. 38(1), 205\u2013219 (2012)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05119-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T00:09:28Z","timestamp":1703203768000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05119-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319051185","9783319051192"],"references-count":22,"aliases":["10.1007\/978-3-319-14128-2_2"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05119-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}