{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:16:04Z","timestamp":1761488164301,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":102,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540880745"},{"type":"electronic","value":"9783540880752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-88075-2_5","type":"book-chapter","created":{"date-parts":[[2008,12,10]],"date-time":"2008-12-10T15:26:17Z","timestamp":1228922777000},"page":"99-128","source":"Crossref","is-referenced-by-count":9,"title":["Complexity and Emergence in Engineering Systems"],"prefix":"10.1007","author":[{"given":"Chih-Chun","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvia B.","family":"Nagl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher D.","family":"Clack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Allavena, A., Demers, A., Hopcroft, J.: Correctness of gossip-based membership protocol. In: Proceedings of the 24th ACM Symposium on the Principle of Distributed Computing (2005)","DOI":"10.1145\/1073814.1073871"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Atkins, E.M., Abdelzhar, T.F., Shin, K.G., Durfee, E.H.: Planning and resource allocation for hard real-time, fault-tolerant plan execution. Autonomous Agents and Multi-Agent Systems Journal (Best of Agents 1999 special issue) (1\u20132), 57\u201378 (March\/June 1999)","DOI":"10.1145\/301136.301204"},{"key":"5_CR3","volume-title":"Engineering societies in the agents world II","author":"F. Balbo","year":"2001","unstructured":"Balbo, F., Pinson, S.: Toward a multi-agent modelling approach for urban public transportation systems. In: Engineering societies in the agents world II. Springer, Heidelberg (2001)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Barbuceanu, M., Gray, T., Mankovski, S.: Coordinating with obligations. In: Proceedings of the second international conference on autonomous agents, pp. 62\u201369 (1998)","DOI":"10.1145\/280765.280775"},{"key":"5_CR5","first-page":"5","volume":"3","author":"M.A. Bedau","year":"2003","unstructured":"Bedau, M.A.: Downward causation and the autonomy of weak emergence. Principia\u00a03, 5\u201350 (2003)","journal-title":"Principia"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1162\/1064546041255539","volume":"10","author":"R.D. Beer","year":"2004","unstructured":"Beer, R.D.: Autopoiesis and cognition in the game of life. Artificial Life\u00a010, 309\u2013326 (2004)","journal-title":"Artificial Life"},{"key":"5_CR7","unstructured":"Benerecetti, M., Cimatti, A.: Symbolic model checking for multi-agent systems. In: Proceedings of the model checking and artificial intelligence workshop (MoChArt 2002), held with 15th ECAI, Lyon, France, pp. 1\u20138 (July 21\u201326, 2002)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/BF01886523","volume":"16","author":"C.H. Bennett","year":"1986","unstructured":"Bennett, C.H.: On the nature and origin of complexity in discrete, homogenou, locally-ineracting systems. Found. Phys.\u00a016, 585\u2013592 (1986)","journal-title":"Found. Phys."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/S0370-1573(01)00025-4","volume":"356","author":"G. Boffetta","year":"2002","unstructured":"Boffetta, G., Cencini, M., Falcioni, M., Vulpiani, A.: Predictability: a way to characterise complexity. Physics Reports\u00a0356, 367\u2013474 (2002)","journal-title":"Physics Reports"},{"issue":"25","key":"5_CR10","first-page":"85","volume":"2","author":"E. Bonabeau","year":"1997","unstructured":"Bonabeau, E., Dessalles, J.L.: Detection and emergence. Intellectica\u00a02(25), 85\u201394 (1997)","journal-title":"Intellectica"},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195131581.001.0001","volume-title":"Swarm Intelligence: From Natural to Artificial Systems","author":"E. Bonabeau","year":"1999","unstructured":"Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press, Oxford (1999)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"R. Bordini","year":"2006","unstructured":"Bordini, R., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model-checking. Autonomous agents and multi-agent systems\u00a012, 239\u2013256 (2006)","journal-title":"Autonomous agents and multi-agent systems"},{"key":"5_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abatrsct State Machines: A method for high-level system design and analysis","author":"E. Borger","year":"2003","unstructured":"Borger, E., Stark, R.: Abatrsct State Machines: A method for high-level system design and analysis. Springer, Heidelberg (2003)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11599128_8","volume":"3","author":"N. Cannata","year":"2005","unstructured":"Cannata, N., Corradini, F., Merelli, E., Omicini, A., Ricci, A.: An agent-oriented conceptual framework for systems biology. Trans. On Comput. Syst. Biol.\u00a03, 105\u2013122 (2005)","journal-title":"Trans. On Comput. Syst. Biol."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Capera, D., George, J.P., Glize, M.P.: The amas theory for complex problem solving based on self-organising cooperative agents. In: The First International TAPOCS Workshop at IEEE 12th WETICE, pp. 383\u2013388 (2003)","DOI":"10.1109\/ENABL.2003.1231441"},{"key":"5_CR16","volume-title":"Foundations of Software Science and Computation Structures: First Interational Conference FOSSACS 1998","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Foundations of Software Science and Computation Structures: First Interational Conference FOSSACS 1998. Springer, Berlin (1998)"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1145\/321356.321363","volume":"13","author":"G.J. Chaitin","year":"1966","unstructured":"Chaitin, G.J.: On the length of programs for computing finite binary sequences. J. Assoc. Comput. Mach.\u00a013, 547\u2013569 (1966)","journal-title":"J. Assoc. Comput. Mach."},{"key":"5_CR18","unstructured":"Chen, C.-C., Nagl, S.B., Clack, C.D.: A calculus for multi-level emergent behaviours in component-based systems and simulations. In: Aziz-Alaoui, M.A., Bertelle, C., Cosaftis, M., Duchamp, G.H. (eds.) Proceedings of the satellite conference on Emergent Properties in Artificial and Natural Systems (EPNACS) (October 2007)"},{"key":"5_CR19","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"C.-C. Chen","year":"2008","unstructured":"Chen, C.-C., Nagl, S.B., Clack, C.D.: A method for validating and discovering associations between multi-level emergent behaviours in agent-based simulations. In: Nguyen, N.T., Jo, G.S., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2008. LNCS (LNAI), vol.\u00a04953. Springer, Heidelberg (2008)"},{"key":"5_CR20","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, E.M., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Corradini, F., Merelli, E., Vita, M.: A multi-agent system for modelling carbohydrate oxidation in cell. In: Computational Science and Its Applications (ICCSA 2005: International Conference, Part II), Singapore, May 9-12, 2005, Proceedings, pp. 1264\u20131273 (May 2005)","DOI":"10.1007\/11424826_134"},{"key":"5_CR22","unstructured":"Cotsaftis, M.: In: Aziz-Alaoui, M.A., Bertelle, C., Cotsaftis, M., Duchamp, G.H.E. (eds.) Proceedings of EPNACS 2007, Emergent Properties in Natural and Artificial Systems, Dresden, Germany, October 1\u20135, pp. 9\u201333 (2007)"},{"key":"5_CR23","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0167-2789(94)90273-9","volume":"75","author":"J.P. Crutchfield","year":"1994","unstructured":"Crutchfield, J.P.: The calculi of emergence: Computation, dynamics, and induction. Physica D\u00a075, 11\u201354 (1994)","journal-title":"Physica D"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1063\/1.1530990","volume":"13","author":"J.P. Crutchfield","year":"2003","unstructured":"Crutchfield, J.P., Feldman, D.P.: Regularities unseen, randomness observed: Levels of entropy convergence. Chaos\u00a013(1), 25\u201354 (2003)","journal-title":"Chaos"},{"key":"5_CR25","first-page":"411","volume":"4","author":"V. Darley","year":"1994","unstructured":"Darley, V.: Emergent phenomena and complexity. Arificial Life\u00a04, 411\u2013416 (1994)","journal-title":"Arificial Life"},{"key":"5_CR26","unstructured":"Demazeau, Y.: Steps towards multi-agent oriented programming. In: First International Workshop on Multi Agent Systems, Boston, Mass. (1997)"},{"key":"5_CR27","unstructured":"DeWolf, T., Holvoet, T.: A catalogue of decentralised coordination mechanisms for designing self-organising emergent applications. Technical Report CW 458, Department of Computer Science, K. U. Leuven (2006)"},{"key":"5_CR28","unstructured":"DeWolf, T., Holvoet, T.: Decentralised coordination mechanisms as design patterns for self-organising emergent applications. In: Proceedings of the Fourth International Workshop on Engineering Self-Organising Applications, pp. 40\u201361 (2006)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Dignum, F., Morley, D., Sonenberg, L., Cavedon, L.: Towards socially sophisticated bdi agents. In: Proceedings of ICMAS 2000 (2000)","DOI":"10.1109\/ICMAS.2000.858442"},{"key":"5_CR30","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-662-04607-4_3","volume-title":"Understanding agent systems","author":"M. d\u2019Inverno","year":"2001","unstructured":"d\u2019Inverno, M., Luck, M.: Understanding agent systems, ch.\u00a03, pp. 39\u201366. Springer, Heidelberg (2001)"},{"key":"5_CR31","unstructured":"Dowling, J., Cunningham, R., Curran, E., Cahill, V.: Component and system-wide self-* properties in decentralized distributed systems. In: Self-Star: Internatinal Workshop on Self*- Properties in Complex Information Systems (2004)"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Eberhart, R.C., Shi, Y.: Particle swarm optimization: developments, applications and resources. In: Proceedings of the IEEE Congress on Evolutionary Computation, pp. 27\u201330 (2001)","DOI":"10.1109\/CEC.2001.934374"},{"key":"5_CR33","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Engineering Self-Organising Systems","author":"B. Edmonds","year":"2005","unstructured":"Edmonds, B.: Engineering self-organising systems, methodologies and applications. In: Brueckner, S.A., Di Marzo Serugendo, G., Karageorgos, A., Nagpal, R. (eds.) ESOA 2005. LNCS (LNAI), vol.\u00a03464. Springer, Heidelberg (2005)"},{"key":"5_CR34","unstructured":"Edmonds, B., Bryson, J.: The insufficiency of formal design methods - the necessity of an experimental approach - for the understanding and control of complex multi-agent systems. In: Proceedings of AAMAS, pp. 938\u2013945 (2004)"},{"key":"5_CR35","unstructured":"Edmunds, B.: Syntactic measures of complexity. PhD thesis, University of Manchester (1999)"},{"key":"5_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45484-5_14","volume-title":"Proceedings of the First International Workshop on Formal APproaches to Agent-Based Systems","author":"A. Esterline","year":"2001","unstructured":"Esterline, A., Rorie, T.: Using the \u03c0-calculus to model multi-agent systems. In: Greenbelt, M.D. (ed.) Proceedings of the First International Workshop on Formal APproaches to Agent-Based Systems, vol.\u00a01871. Springer, Heidelberg (2001)"},{"issue":"2","key":"5_CR37","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P. Eugster","year":"2003","unstructured":"Eugster, P., Felber, P., Guerraoui, P., Kermarrec, A.: The many faces of publish\/subscribe. ACM Computing Surveys\u00a035(2), 114\u2013131 (2003)","journal-title":"ACM Computing Surveys"},{"key":"5_CR38","volume-title":"Multi-Agents Systems: An Introduction to Distributed Artificial Intelligence","author":"J. Ferber","year":"1999","unstructured":"Ferber, J.: Multi-Agents Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley, Reading (1999)"},{"key":"5_CR39","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1109\/ICMAS.1998.699041","volume-title":"Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998)","author":"J. Ferber","year":"1998","unstructured":"Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organisations in multi-agent systems. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), pp. 128\u2013135. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"5_CR40","unstructured":"Ferber, J., Muller, J.-P.: Influences and reaction: A model of situated multiagent systems. In: Second international conference on multi-agent systems, AAAI (1996)"},{"key":"5_CR41","volume-title":"JavaSpaces principles, patterns, and practice","author":"E. Freeman","year":"1999","unstructured":"Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces principles, patterns, and practice. Addison-Wesley, Reading (1999)"},{"key":"5_CR42","unstructured":"Gardelli, L., Viroli, M., Omicini, A.: Design patterns for self-organising multi-agent systems. In: Proceedings of EEDAS 2007 (2007)"},{"key":"5_CR43","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11559221_45","volume-title":"Multi-Agent Systems and Applications IV","author":"J.P. George","year":"2005","unstructured":"George, J.P., Gleizes, M.P.: Experiments in emergent programming using self-organising multi-agent systems. In: P\u011bchou\u010dek, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol.\u00a03690, pp. 450\u2013459. Springer, Heidelberg (2005)"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Giavitto, J.-L., Michel, O.: Mgs - a rule-based programming language for complex objects and collections. Electronic Notes in Theoretical Computer Science, 59 (2001)","DOI":"10.1016\/S1571-0661(04)00293-2"},{"key":"5_CR45","series-title":"Lecture Notes in Computer Science","volume-title":"Engineering Environment-Mediated Multiagent Systems (EEMMAS 2007)","author":"M.-P. Gleizes","year":"2007","unstructured":"Gleizes, M.-P., Camps, V., George, J.-P., Capera, D.: Engineering systems which generate emergent functionalities. In: Engineering Environment-Mediated Multiagent Systems (EEMMAS 2007). LNCS. Springer, Heidelberg (2007)"},{"issue":"4","key":"5_CR46","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/A:1010028119149","volume":"3","author":"P.L. Gmytrasiewicz","year":"2000","unstructured":"Gmytrasiewicz, P.L., Durfee, E.H.: Rational coordination in multi-agent systems. Autonomous Agents and Multi-Agent Systems Journal\u00a03(4), 319\u2013350 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems Journal"},{"key":"5_CR47","doi-asserted-by":"crossref","unstructured":"Godel, K.: Uber formal unentscheidbare satze der principia mathematica und verwandter system i. Monatschefte Math. Phys.\u00a038, 173\u2013198","DOI":"10.1007\/BF01700692"},{"key":"5_CR48","volume-title":"Genetic Algorithms in Search Optimisation and Machine Learning","author":"D. Goldberg","year":"1989","unstructured":"Goldberg, D.: Genetic Algorithms in Search Optimisation and Machine Learning. Addison-Wesley, Reading (1989)"},{"key":"5_CR49","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1007\/BF00668821","volume":"25","author":"P. Grassberger","year":"1986","unstructured":"Grassberger, P.: Toward a quantitative theory of self-generated complexity. International Journal of Theoretical Physics\u00a025, 907\u2013938 (1986)","journal-title":"International Journal of Theoretical Physics"},{"key":"5_CR50","first-page":"231","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts - a visual formalism for complex systems. SCP\u00a08, 231\u2013274 (1987)","journal-title":"SCP"},{"key":"5_CR51","volume-title":"Algorithmics - The Spirit of Computing","author":"D. Harel","year":"2004","unstructured":"Harel, D.: Algorithmics - The Spirit of Computing, 3rd edn. Addison-Wesley, Reading (2004)","edition":"3"},{"key":"5_CR52","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1090.001.0001","volume-title":"Adaptation in Natural and Artificial Systems","author":"J. Holland","year":"1992","unstructured":"Holland, J.: Adaptation in Natural and Artificial Systems. MIT Press, Cambridge (1992)"},{"key":"5_CR53","volume-title":"Emergence - from chaos to order","author":"J. Holland","year":"2000","unstructured":"Holland, J.: Emergence - from chaos to order. Oxford University Press, Oxford (2000)"},{"issue":"2","key":"5_CR54","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1002\/cplx.20202","volume":"13","author":"G.S. Hornby","year":"2007","unstructured":"Hornby, G.S.: Modularity, reuse, and hierarchy: Measuring complexity by measuring structure and organisation. Complexity\u00a013(2), 50\u201361 (2007)","journal-title":"Complexity"},{"key":"5_CR55","unstructured":"Johnson, J.: Hypernetworks for reconstructing the dynamics of multilevel systems. In: Proceedings of European Conference on Complex Systems (November 2006)"},{"key":"5_CR56","doi-asserted-by":"crossref","unstructured":"Johnson, J.: Multidimensional Events in Multilevel Systems, pp. 311\u2013334. Physica-Verlag HD (2007)","DOI":"10.1007\/978-3-7908-1937-3_15"},{"key":"5_CR57","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0950-5849(03)00018-1","volume":"45","author":"P. Kefalas","year":"2003","unstructured":"Kefalas, P., Eleftherakis, G., Kehris, E.: Communicating x-machines: A practical approach for formal and modular specification of large systems. Journal of Information and Software Technology\u00a045, 269\u2013280 (2003)","journal-title":"Journal of Information and Software Technology"},{"key":"5_CR58","volume-title":"Intelligent Agent Software Engineering","author":"P. Kefalas","year":"2003","unstructured":"Kefalas, P., Halcombe, M., Eleftherakis, G., Gheorghe, M.: formal method for the development of agent-based systems. In: Plekhanova, V. (ed.) Intelligent Agent Software Engineering. Idea Group Publishing, UK (2003)"},{"key":"5_CR59","doi-asserted-by":"crossref","unstructured":"Kempe, D., Dobra, A., Gehrke, J.: Gossip-based computation of aggregate information. In: Proceedings of the 44th IEEE Symposium on Foundations of Computer Science (2003)","DOI":"10.1109\/SFCS.2003.1238221"},{"key":"5_CR60","doi-asserted-by":"crossref","unstructured":"Kennedy, J., Eberhart, R.C.: Particle swarm optimisation. In: Proceedings of the IEEE International Conference on Evolutionary computation, pp. 1942\u20131948 (1995)","DOI":"10.1109\/ICNN.1995.488968"},{"key":"5_CR61","first-page":"1","volume":"1","author":"A.N. Kolmogorov","year":"1965","unstructured":"Kolmogorov, A.N.: On the length of programs for computing finite binary sequences. Prob. Info. Transm.\u00a01, 1\u201317 (1965)","journal-title":"Prob. Info. Transm."},{"key":"5_CR62","first-page":"1087","volume":"1","author":"M. Koppel","year":"1987","unstructured":"Koppel, M.: Complexity, depth and sophistication. Complex Systems\u00a01, 1087\u20131091 (1987)","journal-title":"Complex Systems"},{"key":"5_CR63","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1162\/106454603321489518","volume":"9","author":"A. Kubik","year":"2003","unstructured":"Kubik, A.: Toward a formalization of emergence. Artificial Life\u00a09, 41\u201366 (2003)","journal-title":"Artificial Life"},{"key":"5_CR64","volume-title":"Digital Neural Networks","author":"S.Y. Kung","year":"1993","unstructured":"Kung, S.Y.: Digital Neural Networks. PTR Prentice Hall, Englewood Cliffs (1993)"},{"key":"5_CR65","volume-title":"FACIT","author":"K. Lano","year":"1996","unstructured":"Lano, K.: The B Language and Method: A Guide to Practical Formal Development. In: FACIT. Springer, Heidelberg (1996)"},{"key":"5_CR66","volume-title":"Neural networks, theoretical foundations and analysis","author":"C. Lau","year":"1991","unstructured":"Lau, C.: Neural networks, theoretical foundations and analysis. IEEE Press, Los Alamitos (1991)"},{"key":"5_CR67","unstructured":"Lovbjerg, M., Rasmussen, T.K., Krink, T.: Hybrid particle swarm optimiser with breeding and subpopulations. In: Proceedings of the third Genetic and Evolutionary Computation Conference (2001)"},{"key":"5_CR68","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/j.sysarc.2006.02.002","volume":"52","author":"M. Mamei","year":"2006","unstructured":"Mamei, M., Menezes, R., Tolksdorf, R., Zambonelli, F.: Case studies for self-organisation in computer science. Journal of System Architecture\u00a052, 160\u2013443 (2006)","journal-title":"Journal of System Architecture"},{"key":"5_CR69","volume-title":"Field-based coordination for pervasive multiagent systems","author":"M. Mamei","year":"2006","unstructured":"Mamei, M., Zambonelli, F.: Field-based coordination for pervasive multiagent systems. Springer, Heidelberg (2006)"},{"key":"5_CR70","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/11678809_15","volume-title":"Environments for Multi-Agent Systems II","author":"D. Messie","year":"2006","unstructured":"Messie, D., Oh, J.C.: Environment organisation of roles using polymorphism. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2005. LNCS (LNAI), vol.\u00a03830, pp. 251\u2013269. Springer, Heidelberg (2006)"},{"key":"5_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"1","key":"5_CR72","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (i and ii). Inform. and Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"Inform. and Comput."},{"key":"5_CR73","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Environments for Multi-Agent Systems","author":"H. Dyke Parunak Van","year":"2005","unstructured":"Van Dyke Parunak, H., Brueckner, S.A., Sauter, J.: Digital pheromones for coordination of unmanned vehicles. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS (LNAI), vol.\u00a03374. Springer, Heidelberg (2005)"},{"key":"5_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/11429760_14","volume-title":"Trust Management","author":"J. Patel","year":"2005","unstructured":"Patel, J., Teacy, W.T.L., Jennings, N.R., Luck, M.: A probabilistic trust model for handling inaccurate reputation sources. In: Herrmann, P., Issarny, V., Shiu, S.C.K. (eds.) iTrust 2005. LNCS, vol.\u00a03477, pp. 193\u2013209. Springer, Heidelberg (2005)"},{"key":"5_CR75","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut fuer Instrumentelle Mathematik, Bonn (1962)"},{"key":"5_CR76","unstructured":"Philippides, A., Smith, T., Husbands, P., O\u2019Shea, M.: Diffusible neuromodulation in real and artificial neural networks. In: AI Symposium, Second International Conference on Cybernetics, Applied Mathematics and Physics: CIMAF 1999. Editorial Academia (1999)"},{"key":"5_CR77","doi-asserted-by":"crossref","unstructured":"Picard, G., Gleizes, M.P.: Cooperative self-organisation to design robust and adaptive collectives. In: Second International Conference on Informatics in Control, Automation and Robotics (ICINCO 2005), Barcelona, Spain, September 14\u201317, pp. 236\u2013241. INSTICC Press (2005)","DOI":"10.5220\/0001177902360241"},{"key":"5_CR78","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10458-006-9000-7","volume":"14","author":"E. Platon","year":"2007","unstructured":"Platon, E., Mamei, M., Sabouret, N., Honiden, S., Parunak, H.V.D.: Mechanisms for environmenrts in multi-agent systems: Survey and applications. Auton. Agent Multi-Agent Syst.\u00a014, 31\u201347 (2007)","journal-title":"Auton. Agent Multi-Agent Syst."},{"issue":"1","key":"5_CR79","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888904000116","volume":"19","author":"S. Ramchurn","year":"2004","unstructured":"Ramchurn, S., Huynh, D., Jennings, N.R.: Trust in multiagent systems. The Knowledge Engineering Review\u00a019(1), 1\u201325 (2004)","journal-title":"The Knowledge Engineering Review"},{"key":"5_CR80","doi-asserted-by":"crossref","unstructured":"Ramchurn, S.D., Jennings, N.R., Sierra, C., Godo, L.: Devising a trust model for multi-agent interactions using confidence and reputation. Applied Artificial Intelligence, pp. 833\u2013852 (2004)","DOI":"10.1080\/0883951049050904509045"},{"key":"5_CR81","volume-title":"Elements of the System Dynamics Method","author":"J. Randers","year":"1980","unstructured":"Randers, J.: Elements of the System Dynamics Method. MIT Press, Cambridge (1980)"},{"key":"5_CR82","volume-title":"Proceedings of the international workshop on wireless sensor networks and applications","author":"S. Ratnasamy","year":"2002","unstructured":"Ratnasamy, S., Karp, B.: Ght: A geographic hash table for data-centric storage. In: Proceedings of the international workshop on wireless sensor networks and applications, Atlanta. ACM Press, New York (2002)"},{"key":"5_CR83","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1162\/106454699568755","volume":"5","author":"E. Ronald","year":"1999","unstructured":"Ronald, E., Sipper, M.: Design, observation, surprise! a test of emergence. Artifcial Life\u00a05, 225\u2013239 (1999)","journal-title":"Artifcial Life"},{"key":"5_CR84","volume-title":"Formal Methods and Agent-based Systems","author":"C. Rouff","year":"2006","unstructured":"Rouff, C., Hinchey, M., Rash, J., Truszkowski, W., Gordon-Spears, D.: Formal Methods and Agent-based Systems. Springer, Heidelberg (2006)"},{"key":"5_CR85","doi-asserted-by":"crossref","unstructured":"Ryan, A.: Emergence is coupled to scope, not level. Nonlinear Sciences (2007)","DOI":"10.1002\/cplx.20203"},{"key":"5_CR86","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-44561-7_4","volume-title":"Proceedings of the Second International Workshop on Multi-Agent Based Simulation","author":"R.K. Sawyer","year":"2001","unstructured":"Sawyer, R.K.: Simulating emergence and downward causation in small groups. In: Proceedings of the Second International Workshop on Multi-Agent Based Simulation, pp. 49\u201367. Springer, Berlin (2001)"},{"key":"5_CR87","doi-asserted-by":"crossref","unstructured":"Di Marzo Serugendo, G., Gleizes, G., Glize, P.: Self-organisation and emergence in multi-agent systems. The Knowledge Engineering Review\u00a020, 165\u2013189","DOI":"10.1017\/S0269888905000494"},{"key":"5_CR88","unstructured":"Shalizi, C.: Causal Architecture, Complexity and Self-Organization in Time Series and Cellular Automata. PhD thesis, University of Michigan (2001)"},{"key":"5_CR89","first-page":"819","volume":"104","author":"C.R. Shalizi","year":"2001","unstructured":"Shalizi, C.R., Crutchfield, J.P.: Computational mechanics - pattern and prediction, structure and simplicity. Journal of Statictical Physics\u00a0104, 819\u2013881 (2001)","journal-title":"Journal of Statictical Physics"},{"key":"5_CR90","doi-asserted-by":"crossref","unstructured":"Shalizi, C.R., Shalizi, K.L.: Optimal non-linear prediction of random fields on networks. Discrete Mathematics and Theoretical Computer Science, 11\u201330 (2003)","DOI":"10.46298\/dmtcs.2310"},{"key":"5_CR91","unstructured":"Shalizi, C.R., Shalizi, K.L.: Blind construction of optimal nonlinear recursive predictors for discrete sequences. In: Chickering, M., Halpern, J.J. (eds.) Uncertainty in Artificial Intelligence: Proceedings of the Twentieth Conference. AUAI Press (2004)"},{"issue":"195","key":"5_CR92","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1111\/1467-9213.00136","volume":"49","author":"M. Silberstein","year":"1999","unstructured":"Silberstein, M., McGeever, J.: The search for ontological emergence. The Philosophical Quarterly\u00a049(195), 201\u2013214 (1999)","journal-title":"The Philosophical Quarterly"},{"key":"5_CR93","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"5_CR94","doi-asserted-by":"crossref","unstructured":"Sudeikat, J., Renz, W.: Toward requirements engineering for self-organising multi-agent systems. In: Proceedings of the First IEEE International Conference on self-adaptive and self-organising systems (SASO 2007), pp. 299\u2013302 (2006)","DOI":"10.1109\/SASO.2007.61"},{"key":"5_CR95","doi-asserted-by":"crossref","unstructured":"Sudeikat, J., Renz, W.: Building complex adaptive systems: On engineering self-organising multi-agent systems. In: Application of complex adaptive systems. IDEA (2007)","DOI":"10.1109\/SASO.2007.61"},{"key":"5_CR96","series-title":"Lecture Notes in Computer Science","volume-title":"Engineering Environment-Mediated Multiagent Systems (EEMAS 2007)","author":"J. Sudeikat","year":"2007","unstructured":"Sudeikat, J., Renz, W.: Toward systemic mas development: Enforcing decentralised self-organisation by composition and refinement of archetype dynamics. In: Engineering Environment-Mediated Multiagent Systems (EEMAS 2007). LNCS. Springer, Heidelberg (2007)"},{"key":"5_CR97","doi-asserted-by":"publisher","first-page":"5033","DOI":"10.1073\/pnas.91.11.5033","volume":"91","author":"G. Tononi","year":"1994","unstructured":"Tononi, G., Sporns, O., Edelman, G.M.: A measure for brain complexity: Relating functional seggregation and integration in the nervous system. PNAS\u00a091, 5033\u20135037 (1994)","journal-title":"PNAS"},{"key":"5_CR98","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. Proc. Lond. Math. Soc.\u00a042, 230\u2013265","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"5_CR99","volume-title":"Principles of Biological Autonomy","author":"F. Varela","year":"1979","unstructured":"Varela, F.: Principles of Biological Autonomy. Elsevier, New York (1979)"},{"key":"5_CR100","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11775331_10","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems","author":"F. Vigano","year":"2006","unstructured":"Vigano, F., Fornara, N., Colombetti, M.: An event driven approach to norms in artificial institutions. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., V\u00e1zquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol.\u00a03913, pp. 142\u2013154. Springer, Heidelberg (2006)"},{"issue":"2\u20133","key":"5_CR101","first-page":"125","volume":"63","author":"D. Weyns","year":"2004","unstructured":"Weyns, D., Holvoet, T.: A formal model for situated multi-agent systems. Fundamenta Informaticae\u00a063(2\u20133), 125\u2013158 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR102","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/11678809","volume-title":"Environments for Multi-Agent Systems II","author":"D. Weyns","year":"2006","unstructured":"Weyns, D., Vizzari, G., Holvoet, T.: Environments for situated multi-agent systems: Beyond infrastructure. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2005. LNCS (LNAI), vol.\u00a03830. Springer, Heidelberg (2006)"}],"container-title":["Studies in Computational Intelligence","Complex Systems in Knowledge-based Environments: Theory, Models and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88075-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T03:38:49Z","timestamp":1738813129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88075-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540880745","9783540880752"],"references-count":102,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88075-2_5","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[]}}