{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T00:58:32Z","timestamp":1768438712330,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642308284","type":"print"},{"value":"9783642308291","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30829-1_11","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T08:19:10Z","timestamp":1339143550000},"page":"152-165","source":"Crossref","is-referenced-by-count":10,"title":["Fluid Analysis of Foraging Ants"],"prefix":"10.1007","author":[{"given":"Mieke","family":"Massink","sequence":"first","affiliation":[]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Ascens Project, \n                  \n                    http:\/\/www.ascens-ist.eu\/"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bortolussi, L.: Stochastic concurrent constraint programming. In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006. ENTCS, vol.\u00a0164-3 (2006)","DOI":"10.1016\/j.entcs.2006.07.012"},{"issue":"1-2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/s10601-007-9034-8","volume":"13","author":"L. Bortolussi","year":"2008","unstructured":"Bortolussi, L., Policriti, A.: Modeling biological systems in concurrent constraint programming. Constraints\u00a013(1-2), 66\u201390 (2008)","journal-title":"Constraints"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-642-04186-0_11","volume-title":"Transactions on Computational Systems Biology XI","author":"L. Bortolussi","year":"2009","unstructured":"Bortolussi, L., Policriti, A.: Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS, vol.\u00a05750, pp. 216\u2013267. Springer, Heidelberg (2009)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M.L., Hillston, J.: The Bio-PEPA Tool Suite. In: Proc. of the 6th Int. Conf. on Quantitative Evaluation of SysTems, QEST 2009, pp. 309\u2013310 (2009)","DOI":"10.1109\/QEST.2009.27"},{"key":"11_CR6","first-page":"77","volume":"227","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Guerriero, M.L.: Modelling biological compartments in Bio-PEPA. ENTCS\u00a0227, 77\u201395 (2009)","journal-title":"ENTCS"},{"issue":"3","key":"11_CR7","first-page":"103","volume":"194","author":"F. Ciocchetta","year":"2008","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: An extension of the process algebra PEPA for biochemical networks. ENTCS\u00a0194(3), 103\u2013117 (2008)","journal-title":"ENTCS"},{"issue":"33-34","key":"11_CR8","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. TCS\u00a0410(33-34), 3065\u20133084 (2009)","journal-title":"TCS"},{"key":"11_CR9","unstructured":"De Nicola, R., Katoen, J., Latella, D., Loreti, M.: StoKLAIM: A stochastic extension of KLAIM, CNR-ISTI Technical Report number ISTI-2006-TR-01 (2006)"},{"key":"11_CR10","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":"11_CR11","doi-asserted-by":"crossref","unstructured":"Dorigo, M., St\u00fctzle, T.: Ant Colony Optimization. The MIT Press (2004)","DOI":"10.7551\/mitpress\/1290.001.0001"},{"issue":"25","key":"11_CR12","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillepie","year":"1977","unstructured":"Gillepie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"11_CR13","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":"11_CR14","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of QEST 2005, pp. 33\u201343. IEEE Computer Society (2005)","DOI":"10.1109\/QEST.2005.12"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.2307\/3212147","volume":"7","author":"T.G. Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure Markov processes. Journal of Applied Probability\u00a07(1), 49\u201358 (1970)","journal-title":"Journal of Applied Probability"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic model checking for performance and reliability analysis. ACM SIGMETRICS Performance Evaluation Review (2009)","DOI":"10.1145\/1530873.1530882"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science\u00a025(3), 267\u2013310 (1983)","journal-title":"Theoretical Computer Science"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1006\/bulm.2001.0252","volume":"63","author":"D.J.T. Sumpter","year":"2001","unstructured":"Sumpter, D.J.T., Blanchard, G.B., Broomhead, D.S.: Ants and agents: a process algebra approach to modelling ant colony behaviour. Bulletin of Mathematical Biology\u00a063, 951\u2013980 (2001), doi:10.1006\/bulm.2001.0252","journal-title":"Bulletin of Mathematical Biology"},{"key":"11_CR20","unstructured":"Tofts, C.: The autosynchronisation of leptothorax acervorem (fabricius) described in WSCCS. Tech. Rep. ECS-LFCS-90-128, LFCS, University of Edinburgh (1990)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30829-1_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:31:21Z","timestamp":1620113481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30829-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308284","9783642308291"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30829-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}