{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:25:35Z","timestamp":1725524735695},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540958840"},{"type":"electronic","value":"9783540958857"}],"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-540-95885-7_26","type":"book-chapter","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T23:07:19Z","timestamp":1231974439000},"page":"374-393","source":"Crossref","is-referenced-by-count":12,"title":["Defining and Executing P Systems with Structured Data in K"],"prefix":"10.1007","author":[{"given":"Traian","family":"\u015eerb\u0103nu\u0163\u0103","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gheorghe","family":"\u015etef\u0103nescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","volume-title":"Molecular Biology of the Cell","author":"B. Alberts","year":"1994","unstructured":"Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K., Watson, J.D.: Molecular Biology of the Cell, 3rd edn. Garland Publishing, New York (1994)","edition":"3"},{"key":"26_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/11603047_2","volume-title":"Membrane Computing","author":"O. Andrei","year":"2006","unstructured":"Andrei, O., Ciobanu, G., Lucanu, D.: Structural operational semantics of P systems. In: Freund, R., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol.\u00a03850, pp. 31\u201348. Springer, Heidelberg (2006)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/11963516_10","volume-title":"Membrane Computing","author":"O. Andrei","year":"2006","unstructured":"Andrei, O., Ciobanu, G., Lucanu, D.: Expressing control mechanisms of membranes by rewriting strategies. In: Hoogeboom, H.J., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol.\u00a04361, pp. 154\u2013169. Springer, Heidelberg (2006)"},{"key":"26_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2005.10.028","volume":"156","author":"O. Andrei","year":"2006","unstructured":"Andrei, O., Ciobanu, G., Lucanu, D.: Operational semantics and rewriting logic in membrane computing. Electr. Notes Theor. Comput. Sci.\u00a0156, 57\u201378 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.tcs.2006.12.016","volume":"373","author":"O. Andrei","year":"2007","unstructured":"Andrei, O., Ciobanu, G., Lucanu, D.: A rewriting logic framework for operational semantics of membrane systems. Theoretical Computer Sci.\u00a0373, 163\u2013181 (2007)","journal-title":"Theoretical Computer Sci."},{"key":"26_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.-P. Banatre","year":"1988","unstructured":"Banatre, J.-P., Coutant, A., Le Metayer, D.: A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems\u00a04, 133\u2013144 (1988)","journal-title":"Future Generation Computer Systems"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Sci.\u00a096, 217\u2013248 (1992)","journal-title":"Theoretical Computer Sci."},{"key":"26_CR8","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF03037291","volume":"24","author":"G. Ciobanu","year":"2006","unstructured":"Ciobanu, G., P\u0103un, G., Stef\u0103nescu, G.: P transducers. New Generation Computing\u00a024, 1\u201328 (2006)","journal-title":"New Generation Computing"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Sci.\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Sci."},{"key":"26_CR11","volume-title":"Computability, Complexity, and Languages","author":"M. Davis","year":"1994","unstructured":"Davis, M., Sigal, R., Weyuker, E.J.: Computability, Complexity, and Languages, 2nd edn. Morgan Kaufmann, San Francisco (1994)","edition":"2"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/j.tcs.2003.09.008","volume":"312","author":"P. Frisco","year":"2004","unstructured":"Frisco, P.: The conformon-P system: A molecular and cell biology-inspired computability model. Theoretical Computer Sci.\u00a0312, 295\u2013319 (2004)","journal-title":"Theoretical Computer Sci."},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-73449-9_19","volume-title":"Term Rewriting and Applications","author":"M. Hills","year":"2007","unstructured":"Hills, M., Rosu, G.: KOOL: An application of rewriting logic to language prototyping and analysis. In: Baader, F. (ed.) RTA 2007. LNCS, vol.\u00a04533, pp. 246\u2013256. Springer, Heidelberg (2007)"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.entcs.2007.06.017","volume":"176","author":"M. Hills","year":"2007","unstructured":"Hills, M., Serbanuta, T., Rosu, G.: A rewrite framework for language definitions and for generation of efficient interpreters. Electr. Notes Theor. Comput. Sci.\u00a0176, 215\u2013231 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theoretical Computer Sci.\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Sci."},{"key":"26_CR16","unstructured":"Meredith, P., Hills, M., Rosu, G.: A K Definition of Scheme. Technical report UIUCDCS-R-2007-2907 (October 2007)"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. J. Computer System Sci.\u00a017, 348\u2013375 (1978)","journal-title":"J. Computer System Sci."},{"key":"26_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037362","volume":"20","author":"A. P\u0103un","year":"2002","unstructured":"P\u0103un, A., P\u0103un, G.: The power of communication: P systems with symport\/antiport. New Generation Computing\u00a020, 295\u2013306 (2002)","journal-title":"New Generation Computing"},{"key":"26_CR20","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. J. Computer and System Sci.\u00a061, 108\u2013143 (2000)","journal-title":"J. Computer and System Sci."},{"key":"26_CR21","first-page":"75","volume":"6","author":"G. P\u0103un","year":"2001","unstructured":"P\u0103un, G.: P systems with active membranes: Attacking NP-complete problems. J. Automata, Languages and Combinatorics\u00a06, 75\u201390 (2001)","journal-title":"J. Automata, Languages and Combinatorics"},{"key":"26_CR22","doi-asserted-by":"publisher","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, Heidelberg (2002)"},{"key":"26_CR23","unstructured":"Rosu, G.: K: A rewriting-based framework for computations \u2013 Preliminary version. Technical Report UIUCDCS-R-2007-2926, Department of Computer Science, University of Illinois. Previous versions published as technical reports UIUCDCS-R-2006-2802 in 2006, UIUCDCS-R-2005-2672 in 2005. K was first introduced in the context of Maude in Fall 2003 as part of a programming language design course (report UIUCDCS-R-2003-2897 (2007), \n                    \n                      http:\/\/fsl.cs.uiuc.edu\/k"},{"key":"26_CR24","unstructured":"The Web Page of Membrane Computing, \n                    \n                      http:\/\/ppage.psystems.eu\/"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95885-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T04:43:16Z","timestamp":1548391396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95885-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540958840","9783540958857"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95885-7_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}