{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T18:28:14Z","timestamp":1773340094123,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540278849","type":"print"},{"value":"9783540314820","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11527800_17","type":"book-chapter","created":{"date-parts":[[2011,1,12]],"date-time":"2011-01-12T14:20:04Z","timestamp":1294842004000},"page":"207-224","source":"Crossref","is-referenced-by-count":5,"title":["Modelling Dynamically Organised Colonies of Bio-entities"],"prefix":"10.1007","author":[{"given":"Marian","family":"Gheorghe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioanna","family":"Stamatopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Holcombe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petros","family":"Kefalas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"226","author":"L.M. Adleman","year":"1994","unstructured":"Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science\u00a0226, 1021\u20131024 (1994)","journal-title":"Science"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.P. Banatre","year":"1990","unstructured":"Banatre, J.P., Le Metayer, D.: The gamma model and its discipline of programming. Science of Computer Programming\u00a015, 55\u201377 (1990)","journal-title":"Science of Computer Programming"},{"key":"17_CR3","first-page":"509","volume":"10","author":"F. Bernardini","year":"2004","unstructured":"Bernardini, F., Gheorghe, M.: Population P Systems. Journal of Universal Computer Science\u00a010, 509\u2013539 (2004)","journal-title":"Journal of Universal Computer Science"},{"key":"17_CR4","unstructured":"Bianco, L., Fontana, F., Franco, G., Manca, V.: P systems in Bio Systems. In: P\u0103un, G. (ed.) Application of P systems (2004) (submitted)"},{"key":"17_CR5","unstructured":"Clarke, J., Langton, P., Lu, L., Wu, T., Yang, Y.: Computational models of Pharao\u2019s ants using X-machines. Department of Computer Science, University of Sheffield, MSc final report (2002)"},{"key":"17_CR6","first-page":"1","volume":"26","author":"M. Dorigo","year":"1996","unstructured":"Dorigo, M., Maniezzo, V., Colorni, A.: The Ant System: Optimisation by a colony of co-operating agents. IEEE Transactions on Systems, Man and Cybernetics\u00a026, 1\u201313 (1996)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"17_CR7","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S.: Automata, Languages and Machines. Academic Press, London (1974)"},{"key":"17_CR8","unstructured":"Eleftherakis, G.: Formal Verification of X-Machine Models: Towards Formal Development of Computer-based Systems, PhD Thesis, Department of Computer Science, University of Sheffield (2003)"},{"key":"17_CR9","first-page":"59","volume":"49","author":"G. Eleftherakis","year":"2000","unstructured":"Eleftherakis, G., Kefalas, P.: Model Checking Safety Critical Systems specified as X-Machines. Analele Universitatii Bucharest, Matematica-Informatica series\u00a049, 59\u201370 (2000)","journal-title":"Analele Universitatii Bucharest, Matematica-Informatica series"},{"key":"17_CR10","unstructured":"Eleftherakis, G., Kefalas, P., Sotiriadou, A.: Formal Modelling and Verification of Reactive Agents for Intelligent Control. In: Proceedings of the 12th Intelligent System Applications to Power Systems Conference, ISAP (2003)"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(02)00487-3","volume":"222","author":"A.M. Gregson","year":"2003","unstructured":"Gregson, A.M., Hart, A.G., Holcombe, M., Ratnieks, F.L.W.: Partial nectar loads as a cause of multiple nectar transfer in the honey bee (Apis mellifera): a simulation model. Journal of Theoretical Biology\u00a0222, 1\u20138 (2003)","journal-title":"Journal of Theoretical Biology"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1049\/sej.1988.0009","volume":"3","author":"M. Holcombe","year":"1988","unstructured":"Holcombe, M.: X-machines as a Basis for Dynamic System Configuration. Software Engineering Journal\u00a03, 69\u201376 (1988)","journal-title":"Software Engineering Journal"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1093\/bib\/2.3.271","volume":"2","author":"M. Holcombe","year":"2001","unstructured":"Holcombe, M.: Computational models of cells and tissues: Machines, agents and fungal infection. Briefings in Bioinformatics\u00a02, 271\u2013278 (2001)","journal-title":"Briefings in Bioinformatics"},{"key":"17_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building a Business Process Solution","author":"M. Holcombe","year":"1998","unstructured":"Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, London (1998)"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1080\/00207169708804559","volume":"63","author":"F. Ipate","year":"1997","unstructured":"Ipate, F., Holcombe, M.: An Integration Testing Method that is proved to find all faults. International Journal of Computer Mathematics\u00a063, 159\u2013178 (1997)","journal-title":"International Journal of Computer Mathematics"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N.R. Jennings","year":"2000","unstructured":"Jennings, N.R.: On agent-based software engineering. Artificial Intelligence\u00a0117, 277\u2013296 (2000)","journal-title":"Artificial Intelligence"},{"key":"17_CR17","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1142\/9789812793928_0012","volume-title":"Advances in Informatics","author":"E. Kapeti","year":"2000","unstructured":"Kapeti, E., Kefalas, P.: A Design Language and Tool for X-Machines Specification. In: Fotiadis, D.I., Spyropoulos, S.D. (eds.) Advances in Informatics, pp. 134\u2013145. World Scientific Publishing Company, Singapore (2000)"},{"key":"17_CR18","unstructured":"Kefalas, P.: Automatic translation from X-machines to Prolog. TR-CS01\/00, Dept. of Computer Science, CITY Liberal Studies (2000)"},{"key":"17_CR19","unstructured":"Kefalas, P.: XMDL user manual: version 1.6. TR-CS07\/00, Dept. of Computer Science, CITY Liberal Studies (2000)"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0303-2647(03)00036-4","volume":"70","author":"P. Kefalas","year":"2003","unstructured":"Kefalas, P., Eleftherakis, G., Holcombe, M., Gheorghe, M.: Simulation and Verification of P Systems through Communicating X-Machines. BioSystems\u00a070, 135\u2013148 (2003)","journal-title":"BioSystems"},{"key":"17_CR21","volume-title":"Molecular Computational Models: Unconventional Approaches","author":"P. Kefalas","year":"2004","unstructured":"Kefalas, P., Eleftherakis, G., Holcombe, M., Stamatopoulou, I.: Formal Modelling of the Dynamic Behaviour of Biology-Inspired Agent-based Systems. In: Gheorghe, M. (ed.) Molecular Computational Models: Unconventional Approaches. Idea Publishing, Inc, USA (2004) (accepted)"},{"key":"17_CR22","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":"17_CR23","unstructured":"Kefalas, P., Eleftherakis, G., Sotiriadou, A.: Developing Tools for Formal Methods. In: Proceedings of the 9th Panhellenic Conference in Informatics, pp. 625\u2013639 (2003)"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Membrane Computing, International Workshop, WMC 2003, Tarragona","year":"2004","unstructured":"Martin-Vide, C., Mauri, G., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.): Membrane Computing, International Workshop, WMC 2003, Tarragona. LNCS, vol.\u00a02933. Springer, Heidelberg (2004) (revised papers)"},{"issue":"1","key":"17_CR25","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. Journal of Computer and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Journal of Computer and System Sciences"},{"key":"17_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing: An Introduction","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G.: Membrane Computing: An Introduction. Springer, Berlin (2002)"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Membrane Computing. International Workshop, WMC-CdeA 2002","year":"2002","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.): Membrane Computing. International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania. LNCS, vol.\u00a02597. Springer, Heidelberg (2002) (revised papers)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Programming Paradigms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11527800_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:48:58Z","timestamp":1619506138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11527800_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278849","9783540314820"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11527800_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}