乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T18:28:27Z","timestamp":1673720907521},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,10,1]],"date-time":"2008-10-01T00:00:00Z","timestamp":1222819200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s11047-008-9103-y","type":"journal-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T07:13:12Z","timestamp":1222758792000},"page":"817-832","source":"Crossref","is-referenced-by-count":7,"title":["Transforming communicating X-machines into P systems"],"prefix":"10.1007","volume":"8","author":[{"given":"Petros","family":"Kefalas","sequence":"first","affiliation":[]},{"given":"Ioanna","family":"Stamatopoulou","sequence":"additional","affiliation":[]},{"given":"Ilias","family":"Sakellariou","sequence":"additional","affiliation":[]},{"given":"George","family":"Eleftherakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,10,1]]},"reference":[{"issue":"5","key":"9103_CR1","first-page":"509","volume":"10","author":"F Bernardini","year":"2004","unstructured":"Bernardini F, Gheorghe M (2004) Population P systems. J Univers Comput Sci 10(5):509\u2013539","journal-title":"J Univers Comput Sci"},{"issue":"3","key":"9103_CR2","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1016\/j.biosystems.2007.01.006","volume":"91","author":"G Ciobanu","year":"2007","unstructured":"Ciobanu G, Aman B (2007) On the relationship between membranes and ambients. BioSystems 91(3):515\u2013530","journal-title":"BioSystems"},{"issue":"3","key":"9103_CR3","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1016\/j.biosystems.2007.01.007","volume":"91","author":"D Corne","year":"2007","unstructured":"Corne D, Frisco P (2007) Dynamics of HIV infection studied with cellular automata and conformon-P systems. BioSystems 91(3):531\u2013544","journal-title":"BioSystems"},{"key":"9103_CR4","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Hatcliff J, Robby R, Pasareanu CS, Visser W (2007) Formal software analysis emerging trends in software model checking. In: Future of software engineering (FOSE\u201907), Washington, DC. IEEE Computer Society, pp 120\u2013136","DOI":"10.1109\/FOSE.2007.6"},{"key":"9103_CR5","unstructured":"Eilenberg S (1974) Automata, languages and machines. Academic Press, London"},{"key":"9103_CR6","unstructured":"Eleftherakis G (2003) Formal verification of X-machine models: towards formal development of computer-based systems. PhD thesis, Department of Computer Science, University of Sheffield"},{"key":"9103_CR7","doi-asserted-by":"crossref","unstructured":"Eleftherakis G, Kefalas P (2008) Formal verification of generalised state machines. In: 12th Panhellenic conference in informatics (PCI\u201908), Samos Island, Greece, 28\u201330 August","DOI":"10.1109\/PCI.2008.22"},{"key":"9103_CR8","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 (1998) Correct systems: building a business process solution. Springer, London"},{"key":"9103_CR9","unstructured":"Jackson D, Holcombe M, Stamatopoulou I, Sakellariou I, Eleftherakis G, Kefalas P, Gheorghe M (2005) Modelling self-organisation in ant colonies. In: Special session on systems self-assembly at the 7th international conference on artificial evolution (EA\u201905), Lille, France, 26\u201328 October"},{"key":"9103_CR10","doi-asserted-by":"crossref","unstructured":"Kapeti E, Kefalas P (2000) A design language and tool for X-machines specification. In: Fotiadis DI, Spyropoulos SD (eds) Advances in informatics. World Scientific Publishing Company, Singapore, pp 134\u2013145","DOI":"10.1142\/9789812793928_0012"},{"issue":"2","key":"9103_CR11","doi-asserted-by":"crossref","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 (2003a) Simulation and verification of P systems through communicating X-machines. BioSystems 70(2):135\u2013148","journal-title":"BioSystems"},{"issue":"5","key":"9103_CR12","doi-asserted-by":"crossref","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 (2003b) Communicating X-machines: a practical approach for formal and modular specification of large systems. J Inf Softw Technol 45(5):269\u2013280","journal-title":"J Inf Softw Technol"},{"key":"9103_CR13","doi-asserted-by":"crossref","unstructured":"Kefalas P, Holcombe M, Eleftherakis G, Gheorghe M (2003c) A formal method for the development of agent-based systems. In: Plekhanova V (ed) Intelligent agent software engineering. Idea Publishing Group Co., Miami, FL, pp 68\u201398","DOI":"10.4018\/978-1-59140-046-2.ch004"},{"key":"9103_CR14","unstructured":"Kefalas P, Stamatopoulou I, Eleftherakis G, Gheorghe M (2008) Transforming state-based models to P systems models in practice. In: Membrane computing: 9th international workshop, Edinburgh, UK, pp 247\u2013264"},{"key":"9103_CR15","unstructured":"Klein J, Koutny M (2007) Synchrony and asynchrony in membrane systems. In: Hoogeboom HJ, Paun G, Rozenberg G, Salomaa A (eds) Membrane computing: 7th international workshop, Leiden, Netherlands. Lecture notes in computer science, vol 4361. Springer, pp 66\u201385"},{"key":"9103_CR16","doi-asserted-by":"crossref","unstructured":"P\u0103un G (2000) Computing with membranes. J Comput Syst Sci 61(1):108\u2013143, also circulated as a TUCS report since 1998.","DOI":"10.1006\/jcss.1999.1693"},{"key":"9103_CR17","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 (2002) Membrane computing: an introduction. Springer, Berlin"},{"key":"9103_CR18","doi-asserted-by":"crossref","unstructured":"Stamatopoulou I, Gheorghe M, Kefalas P (2005a) Modelling dynamic configuration of biology-inspired multi-agent systems with communicating X-machines and population P systems. In: Mauri G, P\u0103un G, P\u00e9rez-Jim\u00e9nez MJ, Rozenberg G, Salomaa A (eds) Membrane computing: 5th international workshop, Milan, Italy. Lecture notes in computer science, vol 3365. Springer, pp 389\u2013401","DOI":"10.1007\/978-3-540-31837-8_25"},{"key":"9103_CR19","unstructured":"Stamatopoulou I, Kefalas P, Eleftherakis G, Gheorghe M (2005b) A modelling language and tool for population p Systems. In: Proceedings of the 10th Panhellenic conference in informatics (PCI\u201905), Volas, Greece, pp 142\u2013152"},{"key":"9103_CR20","unstructured":"Stamatopoulou I, Kefalas P, Gheorghe M (2007a) OPERAS for space: Formal modelling of autonomous spacecrafts. In: Papatheodorou T, Christodoulakis D, Karanikolas N (eds) Current trends in informatics, Proceedings of the 11th Panhellenic conference in Informatics (PCI\u201907), Patras, Greece, vol B, pp 69\u201378"},{"key":"9103_CR21","doi-asserted-by":"crossref","unstructured":"Stamatopoulou I, Kefalas P, Gheorghe M (2007b) OPERAS CC : an instance of a formal framework for MAS modelling based on population P systems. In: Eleftherakis G, Kefalas P, Paun G (eds) Proceedings of the 8th workshop on membrane computing (WMC\u201907), Thessaloniki, South-East European Research Centre, pp 551\u2013566","DOI":"10.1007\/978-3-540-77312-2_27"},{"key":"9103_CR22","unstructured":"Stamatopoulou I, Sakellariou I, Kefalas P, Eleftherakis G (2008) OPERAS for social insects: formal modelling and prototype simulation. In: Gheorghe M, Ipate F (eds) Special issue of Romanian Journal of Information Science and Technology (ROMJIST) on Natural Computing\u2014from biology to computer science and back to applications, vol 11, No. 3, pp 267\u2013280"},{"key":"9103_CR23","unstructured":"Thomson C, Holcombe M (2005) Using a formal method to model software design in XP projects. In: Eleftherakis G (ed) Proceedings of the 2nd south-east European workshop on formal methods, Ohrid, 18\u201319 November, South-East European Research Centre, pp 74\u201388"},{"key":"9103_CR24","unstructured":"Wilensky U (1999) Netlogo. http:\/\/ccl.northwestern.edu\/netlogo . Center for connected learning and computer-based modelling. Northwestern University, Evanston, IL"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-008-9103-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-008-9103-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-008-9103-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:46:03Z","timestamp":1559360763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-008-9103-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,1]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9103"],"URL":"https:\/\/doi.org\/10.1007\/s11047-008-9103-y","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,1]]}}}