{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:41Z","timestamp":1750307081435,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,16]],"date-time":"2012-09-16T00:00:00Z","timestamp":1347753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,16]]},"DOI":"10.1145\/2371316.2371360","type":"proceedings-article","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T14:51:58Z","timestamp":1347979918000},"page":"223-228","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal modelling of a bio-inspired paradigm capable of exhibiting emergence"],"prefix":"10.1145","author":[{"given":"Konstantinos","family":"Rousis","sequence":"first","affiliation":[{"name":"South-East European Research Centre (SEERC), Thessaloniki, Greece"}]},{"given":"George","family":"Eleftherakis","sequence":"additional","affiliation":[{"name":"The University of Sheffield, Thessaloniki, Greece"}]},{"given":"Ognen","family":"Paunovski","sequence":"additional","affiliation":[{"name":"South-East European Research Centre (SEERC), Thessaloniki, Greece"}]},{"given":"Anthony J.","family":"Cowling","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, UK"}]}],"member":"320","published-online":{"date-parts":[[2012,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 2006 Agent-Directed Simulation Conference","author":"Coakley S.","year":"2006","unstructured":"S. Coakley , R. Smallwood , and M. Holcombe . Using x-machines as a formal basis for describing agents in agent-based modelling . In Proceedings of the 2006 Agent-Directed Simulation Conference , 2006 . S. Coakley, R. Smallwood, and M. Holcombe. Using x-machines as a formal basis for describing agents in agent-based modelling. In Proceedings of the 2006 Agent-Directed Simulation Conference, 2006."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2008.05.116"},{"volume-title":"Automata, Languages, and Machines","author":"Eilenberg S.","key":"e_1_3_2_1_3_1","unstructured":"S. Eilenberg . Automata, Languages, and Machines , volume A. Academic Press, 1974 . S. Eilenberg. Automata, Languages, and Machines, volume A. Academic Press, 1974."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/PCI.2008.22"},{"key":"e_1_3_2_1_5_1","first-page":"425","volume-title":"Proceedings of the 2nd Hellenic Conference on AI (SETN02)","author":"Eleftherakis G.","year":"2002","unstructured":"G. Eleftherakis , P. Kefalas , and A. Sotiriadou . Formal verification of agent models . In Proceedings of the 2nd Hellenic Conference on AI (SETN02) , pages 425 -- 435 , 2002 . G. Eleftherakis, P. Kefalas, and A. Sotiriadou. Formal verification of agent models. In Proceedings of the 2nd Hellenic Conference on AI (SETN02), pages 425--435, 2002."},{"key":"e_1_3_2_1_6_1","first-page":"141","volume-title":"4th Workshop on Complex Systems Modelling and Simulation","author":"Eleftherakis G.","year":"2011","unstructured":"G. Eleftherakis , O. Paunovski , K. Rousis , and A. J. Cowling . Harnessing emergent properties in artificial distributed networks: an experimental framework. In C. Ritson, P. Andrews, and S. Stepney, editors , 4th Workshop on Complex Systems Modelling and Simulation , pages 141 -- 144 , Paris, France , August 2011 . Luniver Press. G. Eleftherakis, O. Paunovski, K. Rousis, and A. J. Cowling. Harnessing emergent properties in artificial distributed networks: an experimental framework. In C. Ritson, P. Andrews, and S. Stepney, editors, 4th Workshop on Complex Systems Modelling and Simulation, pages 141--144, Paris, France, August 2011. Luniver Press."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1988.0009"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 2006 European Conference on Complex Systems","author":"Holcombe M.","year":"2006","unstructured":"M. Holcombe , S. Coakley , and R. Smallwood . A general framework for agent-based modelling of complex systems . In Proceedings of the 2006 European Conference on Complex Systems , 2006 . M. Holcombe, S. Coakley, and R. Smallwood. A general framework for agent-based modelling of complex systems. In Proceedings of the 2006 European Conference on Complex Systems, 2006."},{"key":"e_1_3_2_1_9_1","series-title":"Applied Computing Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct systems: building a business process solution","author":"Holcombe M.","year":"1998","unstructured":"M. Holcombe and F. Ipate . Correct systems: building a business process solution . Applied Computing Series . Springer-Verlag , Berlin, Germany , 1998 . M. Holcombe and F. Ipate. Correct systems: building a business process solution. Applied Computing Series. Springer-Verlag, Berlin, Germany, 1998."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645861.670293"},{"key":"e_1_3_2_1_11_1","first-page":"625","volume-title":"PCI '03: Proceedings of the 2003 Panhellenic Conference on Informatics","author":"Kefalas P.","year":"2003","unstructured":"P. Kefalas , G. Eleftherakis , and A. Sotiriadou . Developing tools for formal methods . In PCI '03: Proceedings of the 2003 Panhellenic Conference on Informatics , pages 625 -- 639 , Washington, DC, USA , 2003 . IEEE Computer Society. P. Kefalas, G. Eleftherakis, and A. Sotiriadou. Developing tools for formal methods. In PCI '03: Proceedings of the 2003 Panhellenic Conference on Informatics, pages 625--639, Washington, DC, USA, 2003. IEEE Computer Society."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.4018\/978-1-59140-046-2.ch004","volume-title":"Intelligent Agent Software Engineering","author":"Kefalas P.","year":"2003","unstructured":"P. Kefalas , M. Holcombe , G. Eleftherakis , and M. Gheorghe . Intelligent Agent Software Engineering , chapter A Formal Method for the Development of Agent-Based Systems, pages 68 -- 98 . Idea Group Publishing , 2003 . P. Kefalas, M. Holcombe, G. Eleftherakis, and M. Gheorghe. Intelligent Agent Software Engineering, chapter A Formal Method for the Development of Agent-Based Systems, pages 68--98. Idea Group Publishing, 2003."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0002367"},{"key":"e_1_3_2_1_15_1","volume-title":"Biotechnology","author":"Steinsiek S.","year":"2011","unstructured":"S. Steinsiek , S. Frixel , S. Stagge , and K. Bettenbrock . Characterization of e. coli mg1655 and frda and sdhc mutants at various aerobiosis levels . Biotechnology , 2011 . {Epub ahead of print}. S. Steinsiek, S. Frixel, S. Stagge, and K. Bettenbrock. Characterization of e. coli mg1655 and frda and sdhc mutants at various aerobiosis levels. Biotechnology, 2011. {Epub ahead of print}."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92191-2_22"}],"event":{"name":"BCI '12: Balkan Conference in Informatics, 2012","sponsor":["MSTD Ministry of Education, Science and Technological Development - Serbia","Novi Sad Faculty of Technical Sciences, University of Novi Sad"],"location":"Novi Sad Serbia","acronym":"BCI '12"},"container-title":["Proceedings of the Fifth Balkan Conference in Informatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2371316.2371360","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2371316.2371360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:12Z","timestamp":1750239252000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2371316.2371360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,16]]},"references-count":15,"alternative-id":["10.1145\/2371316.2371360","10.1145\/2371316"],"URL":"https:\/\/doi.org\/10.1145\/2371316.2371360","relation":{},"subject":[],"published":{"date-parts":[[2012,9,16]]},"assertion":[{"value":"2012-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}