{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:41:19Z","timestamp":1725543679538},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642114663"},{"type":"electronic","value":"9783642114670"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11467-0_13","type":"book-chapter","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T15:49:33Z","timestamp":1263916173000},"page":"169-181","source":"Crossref","is-referenced-by-count":0,"title":["Typed Membrane Systems"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 5th edn. Garland Science, Taylor & Francis (2008)","DOI":"10.1201\/9780203833445"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2008.12.106","volume":"227","author":"B. Aman","year":"2009","unstructured":"Aman, B., Dezani-Ciancaglini, M., Troina, A.: Type disciplines for analysing biologically relevant properties. Electronic Notes in Theoretical Computer Science\u00a0227, 97\u2013111 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-540-31837-8_12","volume-title":"Membrane Computing","author":"D. Besozzi","year":"2005","unstructured":"Besozzi, D., Ciobanu, G.: A P system description of the sodium-potassium pump. In: Mauri, G., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol.\u00a03365, pp. 210\u2013223. Springer, Heidelberg (2005)"},{"key":"13_CR4","first-page":"469","volume":"13","author":"G. Ciobanu","year":"2002","unstructured":"Ciobanu, G., Ciubotariu, V., Tanasa, B.: A Pi-calculus model of the Na-K pump. Genome Informatics\u00a013, 469\u2013472 (2002)","journal-title":"Genome Informatics"},{"volume-title":"Applications of Membrane Computing","year":"2006","key":"13_CR5","unstructured":"Ciobanu, G., P\u0103un, Gh., P\u00e9rez-Jim\u00e9nez, M.J. (eds.): Applications of Membrane Computing. Springer, Heidelberg (2006)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F. Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoretical Computer Science\u00a0403, 52\u201370 (2008)","journal-title":"Theoretical Computer Science"},{"key":"13_CR7","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, Gh.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)"},{"key":"13_CR8","volume-title":"Types and Programming Languages","author":"B. Pierce","year":"2002","unstructured":"Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"13_CR9","volume-title":"The Principles of Mathematics","author":"B. Russell","year":"1903","unstructured":"Russell, B.: The Principles of Mathematics, vol.\u00a0I. Cambridge University Press, Cambridge (1903)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1007\/3-540-45465-9_78","volume-title":"Automata, Languages and Programming","author":"J. Wells","year":"2002","unstructured":"Wells, J.: The essence of principal typings. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.\u00a02380, pp. 913\u2013925. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11467-0_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:41:06Z","timestamp":1606185666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11467-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642114663","9783642114670"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11467-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}