{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T17:07:33Z","timestamp":1776964053610,"version":"3.51.4"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,2,2]],"date-time":"2011-02-02T00:00:00Z","timestamp":1296604800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s00224-011-9313-z","type":"journal-article","created":{"date-parts":[[2011,2,1]],"date-time":"2011-02-01T09:26:15Z","timestamp":1296552375000},"page":"433-445","source":"Crossref","is-referenced-by-count":50,"title":["How to Prove Impossibility Under Global Fairness: On\u00a0Space\u00a0Complexity of Self-Stabilizing Leader Election on a Population Protocol Model"],"prefix":"10.1007","volume":"50","author":[{"given":"Shukai","family":"Cai","sequence":"first","affiliation":[]},{"given":"Taisuke","family":"Izumi","sequence":"additional","affiliation":[]},{"given":"Koichi","family":"Wada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,2,2]]},"reference":[{"issue":"4","key":"9313_CR1","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s00446-005-0138-3","volume":"18","author":"D. Angluin","year":"2006","unstructured":"Angluin, D., Aspnes, J., Diamadi, Z., Fischer, M.J., Peralta, R.: Computation in networks of passively mobile finite-state sensors. Distrib. Comput. 18(4), 235\u2013253 (2006)","journal-title":"Distrib. Comput."},{"key":"9313_CR2","series-title":"LNCS","first-page":"103","volume-title":"Proc. 9th International Conference on Principles of Distributed Systems (OPODIS)","author":"D. Angluin","year":"2005","unstructured":"Angluin, D., Aspnes, J., Fischer, M.J., Jiang, H.: Self-stabilizing population protocols. In: Proc. 9th International Conference on Principles of Distributed Systems (OPODIS). LNCS, vol. 3974, pp. 103\u2013117 (2005)"},{"key":"9313_CR3","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/11502593_8","volume-title":"Proc. International Conference on Distributed Computing in Sensor Systems (DCOSS)","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: Proc. International Conference on Distributed Computing in Sensor Systems (DCOSS). LNCS, vol. 3560, pp. 63\u201374 (2005)"},{"key":"9313_CR4","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/1146381.1146425","volume-title":"Proc. 25th Annual ACM Symposium on Principles of Distributed Computing","author":"D. Angluin","year":"2006","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D.: Stably computable predicates are semilinear. In: Proc. 25th Annual ACM Symposium on Principles of Distributed Computing, pp. 292\u2013299 (2006)"},{"key":"9313_CR5","series-title":"LNCS","first-page":"20","volume-title":"Proc. 21st International Symposium on Distributed Computing (DISC)","author":"D. Angluin","year":"2007","unstructured":"Angluin, D., Aspnes, J., Eisenstat, D.: A simple protocol for fast robust approximate majority. In: Proc. 21st International Symposium on Distributed Computing (DISC). LNCS, vol. 4731, pp. 20\u201332 (2007)"},{"issue":"4","key":"9313_CR6","doi-asserted-by":"crossref","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. Distrib. Comput. 20(4), 279\u2013304 (2007)","journal-title":"Distrib. Comput."},{"key":"9313_CR7","first-page":"98","volume":"93","author":"J. Aspnes","year":"2007","unstructured":"Aspnes, J., Ruppert, E.: An introduction to population protocols. Bull. Eur. Assoc. Theor. Comput. Sci. 93, 98\u2013117 (2007)","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci."},{"key":"9313_CR8","series-title":"LNCS","first-page":"63","volume-title":"Proc. 21st International Symposium on Distributed Computing (DISC)","author":"J. Beauquier","year":"2007","unstructured":"Beauquier, J., Clement, J., Messika, S., Rosaz, L., Rozoy, B.: Self-stabilizing counting in mobil sensor networks. In: Proc. 21st International Symposium on Distributed Computing (DISC). LNCS, vol. 4731, pp. 63\u201376 (2007)"},{"key":"9313_CR9","volume-title":"Proc. of the 3rd ACM SIGOPS\/SIGACT Workshop on Reliability, Availability, and Security WRAS","author":"D. Canepa","year":"2010","unstructured":"Canepa, D., Gradinariu Potop-Butucaru, M.: Stabilizing leader election in population protocols. In: Proc. of the 3rd ACM SIGOPS\/SIGACT Workshop on Reliability, Availability, and Security WRAS, July 2010"},{"key":"9313_CR10","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/11776178_4","volume-title":"Proc. 2nd IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS)","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: Proc. 2nd IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS). LNCS, vol. 4026, pp. 51\u201366 (2006)"},{"key":"9313_CR11","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/11945529_28","volume-title":"Proc. 10th International Conference on Principle of Distributed Systems (OPODIS)","author":"M.J. Fischer","year":"2006","unstructured":"Fischer, M.J., Jiang, H.: Self-stabilizing leader election in networks of finite-state anonymous agent. In: Proc. 10th International Conference on Principle of Distributed Systems (OPODIS). LNCS, vol. 4305, pp. 395\u2013409 (2006)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-011-9313-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-011-9313-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-011-9313-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,18]],"date-time":"2021-11-18T09:51:57Z","timestamp":1637229117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-011-9313-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,2]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["9313"],"URL":"https:\/\/doi.org\/10.1007\/s00224-011-9313-z","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,2]]}}}