{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T11:40:10Z","timestamp":1743939610923,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642325885"},{"type":"electronic","value":"9783642325892"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-32589-2_23","type":"book-chapter","created":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T08:44:32Z","timestamp":1343810672000},"page":"234-246","source":"Crossref","is-referenced-by-count":6,"title":["Computing with Large Populations Using Interactions"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bournez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Fraigniaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Koegler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5187","key":"23_CR1","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L.M. Adleman","year":"1994","unstructured":"Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science\u00a0266(5187), 1021 (1994)","journal-title":"Science"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11502593_8","volume-title":"Distributed Computing in Sensor Systems","author":"D. Angluin","year":"2005","unstructured":"Angluin, D., Aspnes, J., Chan, M., Fischer, M.J., Jiang, H., Peralta, R.: Stably Computable Properties of Network Graphs. In: Prasanna, V.K., Iyengar, S.S., Spirakis, P.G., Welsh, M. (eds.) DCOSS 2005. LNCS, vol.\u00a03560, pp. 63\u201374. Springer, Heidelberg (2005)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. In: PODC, pp. 290\u2013299 (2004)","DOI":"10.1145\/1011767.1011810"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D.: Stably computable predicates are semilinear. In: PODC, pp. 292\u2013299 (2006)","DOI":"10.1145\/1146381.1146425"},{"issue":"4","key":"23_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s00446-007-0040-2","volume":"20","author":"D. Angluin","year":"2007","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D., Ruppert, E.: The computational power of population protocols. Distributed Computing\u00a020(4), 279\u2013304 (2007)","journal-title":"Distributed Computing"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/11795490_10","volume-title":"Principles of Distributed Systems","author":"D. Angluin","year":"2006","unstructured":"Angluin, D., Aspnes, J., Fischer, M.J., Jiang, H.: Self-stabilizing Population Protocols. In: Anderson, J.H., Prencipe, G., Wattenhofer, R. (eds.) OPODIS 2005. LNCS, vol.\u00a03974, pp. 103\u2013117. Springer, Heidelberg (2006)"},{"issue":"3","key":"23_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s00446-008-0067-z","volume":"21","author":"D. Angluin","year":"2008","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D.: Fast computation by population protocols with a leader. Distributed Computing\u00a021(3), 183\u2013199 (2008)","journal-title":"Distributed Computing"},{"issue":"2","key":"23_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s00446-008-0059-z","volume":"21","author":"D. Angluin","year":"2008","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D.: A simple population protocol for fast robust approximate majority. Distributed Computing\u00a021(2), 87\u2013102 (2008)","journal-title":"Distributed Computing"},{"key":"23_CR9","first-page":"106","volume":"93","author":"J. Aspnes","year":"2007","unstructured":"Aspnes, J., Ruppert, E.: An introduction to population protocols. Bulletin of the EATCS\u00a093, 106\u2013125 (2007)","journal-title":"Bulletin of the EATCS"},{"issue":"22","key":"23_CR10","first-page":"2219","volume":"412","author":"G. Aupy","year":"2010","unstructured":"Aupy, G., Bournez, O.: On the number of binary-minded individuals required to compute $\\sqrt{1\/2}$ . Theoretical Computer Science\u00a0412(22), 2219\u20132456 (2010)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"23_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G.: The chemical abstract machine. TCS\u00a096(1), 217\u2013248 (1992)","journal-title":"TCS"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Blondel, V., Hendrickx, J., Olshevsky, A., Tsitsiklis, J.: Convergence in multiagent coordination, consensus, and flocking. In: 44th IEEE Conf. on Decision and Control, pp. 2996\u20133000 (2005)","DOI":"10.1109\/CDC.2005.1582620"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-25873-2_28","volume-title":"Principles of Distributed Systems","author":"O. Bournez","year":"2011","unstructured":"Bournez, O., Chalopin, J., Cohen, J., Koegler, X., Rabie, M.: Computing with Pavlovian Populations. In: Fern\u00e0ndez Anta, A., Lipari, G., Roy, M. (eds.) OPODIS 2011. LNCS, vol.\u00a07109, pp. 409\u2013420. Springer, Heidelberg (2011)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Bournez, O., Chassaing, P., Cohen, J., Gerin, L., Koegler, X.: On the convergence of population protocols when population goes to infinity. Applied Math. and Computation (2009)","DOI":"10.1016\/j.amc.2009.04.056"},{"issue":"6","key":"23_CR15","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1109\/TMC.2007.1060","volume":"6","author":"A. Chaintreau","year":"2007","unstructured":"Chaintreau, A., Hui, P., Crowcroft, J., Diot, C., Gass, R., Scott, J.: Impact of human mobility on opportunistic forwarding algorithms. IEEE Transactions on Mobile Computing\u00a06(6), 606\u2013620 (2007)","journal-title":"IEEE Transactions on Mobile Computing"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-16023-3_19","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"I. Chatzigiannakis","year":"2010","unstructured":"Chatzigiannakis, I., Michail, O., Spirakis, P.G.: Algorithmic Verification of Population Protocols. In: Dolev, S., Cobb, J., Fischer, M., Yung, M. (eds.) SSS 2010. LNCS, vol.\u00a06366, pp. 221\u2013235. Springer, Heidelberg (2010)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-540-87779-0_35","volume-title":"Distributed Computing","author":"I. Chatzigiannakis","year":"2008","unstructured":"Chatzigiannakis, I., Spirakis, P.G.: The Dynamics of Probabilistic Population Protocols. In: Taubenfeld, G. (ed.) DISC 2008. LNCS, vol.\u00a05218, pp. 498\u2013499. Springer, Heidelberg (2008)"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Chazelle, B.: Natural algorithms. In: SODA, pp. 422\u2013431 (2009)","DOI":"10.1137\/1.9781611973068.47"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"Cl\u00e9ment, J., Delporte-Gallet, C., Fauconnier, H., Sighireanu, M.: Guidelines for the verification of population protocols. In: ICDCS, pp. 215\u2013224 (2011)","DOI":"10.1109\/ICDCS.2011.36"},{"issue":"5","key":"23_CR20","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1109\/TAC.2007.895842","volume":"52","author":"F. Cucker","year":"2007","unstructured":"Cucker, F., Smale, S.: Emergent behavior in flocks. IEEE Transactions on Automatic Control\u00a052(5), 852\u2013862 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/11776178_4","volume-title":"Distributed Computing in Sensor Systems","author":"C. Delporte-Gallet","year":"2006","unstructured":"Delporte-Gallet, C., Fauconnier, H., Guerraoui, R., Ruppert, E.: When Birds Die: Making Population Protocols Fault-Tolerant. In: Gibbons, P.B., Abdelzaher, T., Aspnes, J., Rao, R. (eds.) DCOSS 2006. LNCS, vol.\u00a04026, pp. 51\u201366. Springer, Heidelberg (2006)"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, A., Gramoli, V., Jim\u00e9nez, E., Kermarrec, A.-M., Raynal, M.: Distributed slicing in dynamic systems. In: ICDCS (2007)","DOI":"10.1109\/ICDCS.2007.102"},{"issue":"11","key":"23_CR23","doi-asserted-by":"publisher","first-page":"1444","DOI":"10.1109\/TC.2009.111","volume":"58","author":"V. Gramoli","year":"2009","unstructured":"Gramoli, V., Vigfusson, Y., Birman, K., Kermarrec, A.-M., van Renesse, R.: Slicing distributed systems. IEEE Trans. Computers\u00a058(11), 1444\u20131455 (2009)","journal-title":"IEEE Trans. Computers"},{"issue":"2","key":"23_CR24","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s00446-007-0024-2","volume":"20","author":"I. Gupta","year":"2007","unstructured":"Gupta, I., Nagda, M., Devaraj, C.F.: The design of novel distributed protocols from differential equations. Distributed Computing\u00a020(2), 95\u2013114 (2007)","journal-title":"Distributed Computing"},{"key":"23_CR25","unstructured":"Hirsch, M.W., Smale, S., Devaney, R.: Differential Equations, Dynamical Systems, and an Introduction to Chaos. Elsevier Academic Press (2003)"},{"key":"23_CR26","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1090\/S0273-0979-03-00988-1","volume":"4","author":"J. Hofbauer","year":"2003","unstructured":"Hofbauer, J., Sigmund, K.: Evolutionary game dynamics. Bulletin of the American Mathematical Society\u00a04, 479\u2013519 (2003)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"23_CR27","doi-asserted-by":"crossref","unstructured":"Hui, P., Chaintreau, A., Scott, J., Gass, R., Crowcroft, J., Diot, C.: Pocket switched networks and human mobility in conference environments. In: WDTN, pp. 244\u2013251 (2005)","DOI":"10.1145\/1080139.1080142"},{"key":"23_CR28","doi-asserted-by":"crossref","unstructured":"Jelasity, M., Kermarrec, A.-M.: Ordered slicing of very large-scale overlay networks. In: Sixth IEEE International Conference on Peer-to-Peer Computing, P2P, pp. 117\u2013124 (2006)","DOI":"10.1109\/P2P.2006.25"},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Juang, P., Oki, H., Wang, Y., Martonosi, M., Shiuan Peh, L., Rubenstein, D.: Energy-efficient computing for wildlife tracking: design tradeoffs and early experiences with zebranet. In: ASPLOS, pp. 96\u2013107 (2002)","DOI":"10.1145\/605432.605408"},{"issue":"22","key":"23_CR30","doi-asserted-by":"publisher","first-page":"2434","DOI":"10.1016\/j.tcs.2011.02.003","volume":"412","author":"O. Michail","year":"2011","unstructured":"Michail, O., Chatzigiannakis, I., Spirakis, P.G.: Mediated population protocols. Theor. Comput. Sci.\u00a0412(22), 2434\u20132450 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR31","doi-asserted-by":"crossref","unstructured":"Murray, J.D.: Mathematical Biology. I: An Introduction, 3rd edn. Springer (2002)","DOI":"10.1007\/b98868"},{"key":"23_CR32","doi-asserted-by":"crossref","unstructured":"Wang, Y., Jain, S., Martonosi, M., Fall, K.: Erasure-coding based routing for opportunistic networks. In: WTDN, pp. 229\u2013236 (2005)","DOI":"10.1145\/1080139.1080140"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2012"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32589-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T11:21:22Z","timestamp":1743938482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32589-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642325885","9783642325892"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32589-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}