{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:40:42Z","timestamp":1743050442499,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386121"},{"type":"electronic","value":"9783642386138"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38613-8_15","type":"book-chapter","created":{"date-parts":[[2013,5,13]],"date-time":"2013-05-13T02:45:19Z","timestamp":1368413119000},"page":"208-222","source":"Crossref","is-referenced-by-count":6,"title":["Formal Modelling and Verification of Population Protocols"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Michael","family":"Poppleton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An open extensible tool environment for event-B. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"issue":"4","key":"15_CR3","doi-asserted-by":"publisher","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. Distributed Computing\u00a018(4), 235\u2013253 (2006)","journal-title":"Distributed Computing"},{"issue":"4","key":"15_CR4","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":"15_CR5","doi-asserted-by":"crossref","unstructured":"Angluin, D., Aspnes, J., Fischer, M.J., Jiang, H.: Self-stabilizing population protocols. TAAS\u00a03(4) (2008)","DOI":"10.1145\/1452001.1452003"},{"key":"15_CR6","first-page":"98","volume":"93","author":"J. Aspnes","year":"2007","unstructured":"Aspnes, J., Ruppert, E.: An introduction to population protocols. Bulletin of the EATCS\u00a093, 98\u2013117 (2007)","journal-title":"Bulletin of the EATCS"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Banatre, M., Ollero, A., Wolisz, A.: Cooperating Embedded Systems and Wireless Sensor Networks. John Wiley (2008)","DOI":"10.1002\/9780470610817"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s00224-011-9313-z","volume":"50","author":"S. Cai","year":"2012","unstructured":"Cai, S., Izumi, T., Wada, K.: How to prove impossibility under global fairness: On space complexity of self-stabilizing leader election on a population protocol model. Theory Comput. Syst.\u00a050(3), 433\u2013445 (2012)","journal-title":"Theory Comput. Syst."},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/3-540-40911-4_22","volume-title":"Integrated Formal Methods","author":"D. Cansell","year":"2000","unstructured":"Cansell, D., M\u00e9ry, D., Merz, S.: Predicate diagrams for the verification of reactive systems. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 380\u2013397. Springer, Heidelberg (2000)"},{"key":"15_CR10","unstructured":"Egea-L\u00f3pez, E., Vales-Alonso, J., Mart\u00ednez-Sala, A.S., Pav\u00f3n-Mari\u00f1o, P., Garc\u00eda Haro, J.: Simulation tools for wireless sensor networks. In: SPECTS 2005: Summer Simulation Multiconference (2005)"},{"issue":"3","key":"15_CR11","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The Temporal Logic of Actions. ACM Trans. Program. Lang. Syst.\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"M\u00e9ry, D., Poppleton, M.: Formal modelling and verification of population protocols. Technical report, LORIA (2013)","DOI":"10.1007\/978-3-642-38613-8_15"},{"issue":"1-4","key":"15_CR13","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/COMST.2006.283821","volume":"8","author":"R. Rajagopalan","year":"2006","unstructured":"Rajagopalan, R., Varshney, P.K.: Data-aggregation techniques in sensor networks: A survey. IEEE Communications Surveys and Tutorials\u00a08(1-4), 48\u201363 (2006)","journal-title":"IEEE Communications Surveys and Tutorials"},{"key":"15_CR14","unstructured":"Stavvides, A., Srivastava, M., Girod, L., Estrin, D.: Wireless Sensor Networks. Springer (2004)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/958491.958494","volume-title":"Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, SenSys 2003","author":"A. Woo","year":"2003","unstructured":"Woo, A., Tong, T., Culler, D.: Taming the underlying challenges of reliable multihop routing in sensor networks. In: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, SenSys 2003, pp. 14\u201327. ACM, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38613-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:10:50Z","timestamp":1675955450000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-38613-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386121","9783642386138"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38613-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}