{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:48:12Z","timestamp":1760586492375,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027031"},{"type":"electronic","value":"9783642027048"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02704-8_8","type":"book-chapter","created":{"date-parts":[[2009,6,29]],"date-time":"2009-06-29T09:32:50Z","timestamp":1246267970000},"page":"90-104","source":"Crossref","is-referenced-by-count":12,"title":["Formal Development of Self-organising Systems"],"prefix":"10.1007","author":[{"given":"Graeme","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey W.","family":"Sanders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","first-page":"375","volume-title":"Philosophical Perspectives: Mind, Causation, and World","author":"M.A. Bedau","year":"1997","unstructured":"Bedau, M.A.: Weak emergence. In: Tomberlain, J. (ed.) Philosophical Perspectives: Mind, Causation, and World, vol.\u00a011, pp. 375\u2013399. Blackwell Publishers, Malden (1997)"},{"key":"8_CR2","unstructured":"Burns, A., Hayes, I.J., Baxter, G., Fidge, C.J.: Modelling temporal behaviour in complex socio-technical systems. Technical Report YCS 390, University of York (2005)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s11537-007-0647-x","volume":"2","author":"F. Cucker","year":"2007","unstructured":"Cucker, F., Smale, S.: On the mathematics of emergence. Japanese Journal of Mathematics\u00a02, 197\u2013227 (2007)","journal-title":"Japanese Journal of Mathematics"},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z: Foundations and Advanced Applications","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer, Heidelberg (2001)"},{"key":"8_CR5","first-page":"938","volume-title":"International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)","author":"B. Edmonds","year":"2004","unstructured":"Edmonds, B., Bryson, J.: The insufficiency of formal design methods \u2014 the necessity of an experimental approach for the understanding and control of complex MAS. In: International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 938\u2013945. IEEE Computer Society, Los Alamitos (2004)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s11721-008-0015-3","volume":"2","author":"H. Hamann","year":"2008","unstructured":"Hamann, H., W\u00f6rn, H.: A framework of space-time continuous models for algorithm design in swarm robotics. Swarm Intelligence\u00a02, 209\u2013239 (2008)","journal-title":"Swarm Intelligence"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-48683-6_20","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1999","unstructured":"Henzinger, T.A., Qadeer, S., Rajamani, S.K.: Assume-guarantee refinement between different time scales. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 208\u2013221. Springer, Heidelberg (1999)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-89437-7_11","volume-title":"Challenges for Software-Intensive Systems and New Computing Paradigms","author":"H. Jun","year":"2008","unstructured":"Jun, H., Liu, Z., Reed, G.M., Sanders, J.W.: Ensemble engineering and emergence. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Challenges for Software-Intensive Systems and New Computing Paradigms. LNCS, vol.\u00a05380, pp. 162\u2013178. Springer, Heidelberg (2008)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-89437-7_8","volume-title":"Challenges for Software-Intensive Systems and New Computing Paradigms","author":"J.W. Sanders","year":"2008","unstructured":"Sanders, J.W., Smith, G.: Formal ensemble engineering. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Challenges for Software-Intensive Systems and New Computing Paradigms. LNCS, vol.\u00a05380, pp. 132\u2013138. Springer, Heidelberg (2008)"},{"key":"8_CR10","first-page":"89","volume-title":"IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006)","author":"S. Stepney","year":"2006","unstructured":"Stepney, S., Polack, F., Turner, H.: Engineering emergence. In: IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), pp. 89\u201397. IEEE Computer Society, Los Alamitos (2006)"},{"key":"8_CR11","unstructured":"St\u00f8y, K.: Controlling self-configuration using cellular automata and gradients. In: 8th International Conference on Intelligent Autonomous Systems (IAS-8) (2006)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.robot.2005.09.017","volume":"54","author":"K. St\u00f8y","year":"2006","unstructured":"St\u00f8y, K.: Using cellular automata and gradients to control self-reconfiguration. Robotics and Autonomous Systems\u00a054, 135\u2013141 (2006)","journal-title":"Robotics and Autonomous Systems"},{"key":"8_CR13","first-page":"149","volume-title":"7th International Symposium on Distributed Autonomous Robotic Systems (DARS)","author":"K. St\u00f8y","year":"2004","unstructured":"St\u00f8y, K., Nagpal, R.: Self-reconfiguration using directed growth. In: 7th International Symposium on Distributed Autonomous Robotic Systems (DARS), pp. 149\u2013160. ACM Press, New York (2004)"},{"key":"8_CR14","first-page":"2062","volume-title":"2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems","author":"K. St\u00f8y","year":"2004","unstructured":"St\u00f8y, K., Nagpal, R.: Self-repair through scale independent self-reconfiguration. In: 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 2062\u20132067. IEEE Press, Los Alamitos (2004)"},{"issue":"5","key":"8_CR15","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P. Wegner","year":"1997","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Communications of the ACM\u00a040(5), 80\u201391 (1997)","journal-title":"Communications of the ACM"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11721-008-0018-0","volume":"2","author":"A. Winfield","year":"2008","unstructured":"Winfield, A., Liu, W., Nembrini, J., Martinoli, A.: Modelling a wireless connected swarm of mobile robots. Swarm Intelligence\u00a02, 241\u2013266 (2008)","journal-title":"Swarm Intelligence"},{"issue":"3","key":"8_CR17","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/B:AGNT.0000038028.66672.1e","volume":"9","author":"F. Zambonelli","year":"2004","unstructured":"Zambonelli, F., Omicini, A.: Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems\u00a09(3), 253\u2013283 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"8_CR18","unstructured":"Zhu, H.: Formal reasoning about emergent behaviour in MAS. In: International Conference on Software Engineering and Knowledge Engineering (SEKE 2005). Knowledge Systems Institute (2005)"}],"container-title":["Lecture Notes in Computer Science","Autonomic and Trusted Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02704-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T20:31:19Z","timestamp":1552077079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02704-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027031","9783642027048"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02704-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}