{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:20:44Z","timestamp":1742916044639,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192819"},{"type":"electronic","value":"9783319192826"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19282-6_2","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T07:05:56Z","timestamp":1430291156000},"page":"19-34","source":"Crossref","is-referenced-by-count":2,"title":["Investigating Fluid-Flow Semantics of\u00a0Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Diego","family":"Latella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Antonaki, M., Philippou, A.: A process calculus for spatially-explicit ecological models. In: Ciobanu, G. (ed.) Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, vol.\u00a0100, pp. 14\u201328. EPTCS (September 8, 2012), \n                      \n                        http:\/\/dx.doi.org\/10.4204\/EPTCS.100.2","DOI":"10.4204\/EPTCS.100.2"},{"key":"2_CR2","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 systems behaviour: A Tutorial. Performance Evaluation - An International Journal\u00a070, 317\u2013349 (2013), doi:10.1016\/j.peva.2013.01.001","journal-title":"Performance Evaluation - An International Journal"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-04186-0\\_11","volume":"11","author":"L. Bortolussi","year":"2009","unstructured":"Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming: To ordinary differential equations and back. T. Comp. Sys. Biology\u00a011, 216\u2013267 (2009), doi:10.1007\/978-3-642-04186-0_11","journal-title":"T. Comp. Sys. Biology"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Hillston, J.: Fluid model checking. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol.\u00a07454, pp. 333\u2013347. Springer, Heidelberg (2012), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/978-3-642-32940-1_24","DOI":"10.1007\/978-3-642-32940-1_24"},{"key":"2_CR5","unstructured":"Carriero, N., Gelernter, D., Mattson, T.G., Sherman, A.H.: The linda\u00ae alternative to message-passing systems. Parallel Computing\u00a020(4), 633\u2013655 (1994), \n                      \n                        http:\/\/dx.doi.org\/10.1016\/0167-81919490032-9"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-662-44602-7_18","volume-title":"Theoretical Computer Science","author":"V. Ciancia","year":"2014","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Specifying and verifying properties of space. In: Diaz, J., Lanese, I., Sangiorgi, D. (eds.) TCS 2014. LNCS, vol.\u00a08705, pp. 222\u2013235. Springer, Heidelberg (2014), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/978-3-662-44602-7_18"},{"issue":"33-34","key":"2_CR7","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. Theor. Comput. Sci.\u00a0410(33-34), 3065\u20133084 (2009), \n                      \n                        http:\/\/dx.doi.org\/10.1016\/j.tcs.2009.02.037","journal-title":"Theor. Comput. Sci."},{"key":"2_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-16310-9_1","volume-title":"Collective Autonomic Systems","author":"R. Nicola De","year":"2015","unstructured":"De Nicola, R., et al.: The SCEL Language: Design, Implementation, Verification. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 3\u201371. Springer, Heidelberg (2015)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: A Uniform Definition of Stochastic Process Calculi. ACM Computing Surveys\u00a046(1), 5:1\u20135:35 (2013), doi:10.1145\/2522968.2522973","DOI":"10.1145\/2522968.2522973"},{"issue":"5","key":"2_CR10","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.L., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng.\u00a024(5), 315\u2013330 (1998), \n                      \n                        http:\/\/doi.ieeecomputersociety.org\/10.1109\/32.685256","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2007.05.008","volume":"382","author":"R. Nicola De","year":"2007","unstructured":"De Nicola, R., Katoen, J., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theor. Comput. Sci.\u00a0382(1), 42\u201370 (2007), \n                      \n                        http:\/\/dx.doi.org\/10.1016\/j.tcs.2007.05.008","journal-title":"Theor. Comput. Sci."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Deneubourg, J.L., Aron, S., Goss, S., Pasteels, J.M.: The self-organizing exploratory pattern of the argentine ant. Journal of Insects Behaviour\u00a03(2) (1990)","DOI":"10.1007\/BF01417909"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-10696-0_22","volume-title":"Quantitative Evaluation of Systems","author":"C. Feng","year":"2014","unstructured":"Feng, C., Hillston, J.: PALOMA: A Process Algebra for Located Markovian Agents. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol.\u00a08657, pp. 265\u2013280. Springer, Heidelberg (2014)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/BF00462870","volume":"76","author":"S. Goss","year":"1989","unstructured":"Goss, S., Aron, S., Deneubourg, J.L., Pasteels, J.M.: Self-organized shortcuts in the Argentine Ant. Naturwissenschaften\u00a076, 579\u2013581 (1989)","journal-title":"Naturwissenschaften"},{"key":"2_CR15","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), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/978-3-642-24749-1_8"},{"issue":"5","key":"2_CR16","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing. The International Journal of Formal Methods\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing. The International Journal of Formal Methods"},{"issue":"1-2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.: Process algebra for performance evaluation. Theor. Comput. Sci.\u00a0274(1-2), 43\u201387 (2002), \n                      \n                        http:\/\/dx.doi.org\/10.1016\/S0304-39750000305-4","journal-title":"Theor. Comput. Sci."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Latella, D., Loreti, M., Massink, M.: On-the-fly Fluid Model Checking via Discrete Time Population Models. Extended Version. Technical Report TR-QC-08-2014, QUANTICOL (2014)","DOI":"10.1007\/978-3-319-23267-6_13"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Latella, D., Loreti, M., Massink, M.: On-the-fly fast mean-field model-checking. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol.\u00a08358, pp. 297\u2013314. Springer, Heidelberg (2014), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/978-3-319-05119-2_17","DOI":"10.1007\/978-3-319-05119-2_17"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Latella, D., Loreti, M., Massink, M., Senni, V.: Stochastically timed predicate-based communication primitives for autonomic computing. In: Bertrand, N., Bortolussi, L. (eds.) Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, April 12-13, vol.\u00a0154, pp. 1\u201316. EPTCS (2014), \n                      \n                        http:\/\/dx.doi.org\/10.4204\/EPTCS.154.1","DOI":"10.4204\/EPTCS.154.1"},{"key":"2_CR21","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: The TOTA approach. ACM Trans. Softw. Eng. Methodol.\u00a018(4) (2009), \n                      \n                        http:\/\/doi.acm.org\/10.1145\/1538942.1538945"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-30829-1_11","volume-title":"Coordination Models and Languages","author":"M. Massink","year":"2012","unstructured":"Massink, M., Latella, D.: Fluid analysis of foraging ants. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol.\u00a07274, pp. 152\u2013165. Springer, Heidelberg (2012), \n                      \n                        http:\/\/dx.doi.org\/10.1007\/978-3-642-30829-1_11"},{"issue":"1","key":"2_CR23","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. IEEE CS\u00a038(1), 205\u2013219 (2012)","journal-title":"IEEE Transactions on Software Engineering. IEEE CS"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19282-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T19:04:55Z","timestamp":1559156695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19282-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192819","9783319192826"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19282-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}