{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:42:54Z","timestamp":1725586974955},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642199998"},{"type":"electronic","value":"9783642200007"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20000-7_11","type":"book-chapter","created":{"date-parts":[[2011,6,21]],"date-time":"2011-06-21T03:27:21Z","timestamp":1308626841000},"page":"138-150","source":"Crossref","is-referenced-by-count":1,"title":["A Temporal Logic for Mutual Mobile Membranes with Objects on Surface"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","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, Berlin (2002)"},{"volume-title":"Application of Membrane Computing","year":"2006","key":"11_CR2","unstructured":"Ciobanu, G., P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M. (eds.): Application of Membrane Computing. Springer, Heidelberg (2006)"},{"key":"11_CR3","unstructured":"Aman, B., Ciobanu, G.: Membrane systems with surface objects. In: Proc. of the International Workshop on Computing with Biomolecules (CBM), Wien, Austria, pp. 17\u201329 (2008)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-13523-1_20","volume-title":"Unconventional Computation","author":"B. Aman","year":"2010","unstructured":"Aman, B., Ciobanu, G.: Formalizing the Behavior of Biological Processes with Mobility. In: Calude, C.S., Hagiya, M., Morita, K., Rozenberg, G., Timmis, J. (eds.) Unconventional Computation. LNCS, vol.\u00a06079, pp. 187\u2013187. Springer, Heidelberg (2010)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-77312-2_7","volume-title":"Membrane Computing","author":"B. Aman","year":"2007","unstructured":"Aman, B., Ciobanu, G.: On the Reachability Problem in P Systems with Mobile Membranes. In: Eleftherakis, G., Kefalas, P., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol.\u00a04860, pp. 113\u2013123. Springer, Heidelberg (2007)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems\u00a016, 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR7","unstructured":"Alpern, B., Schneider, F.: Recognizing safety and liveness. Computing Science Technical Report TR86-727, Department of Computer Science, Cornell University (1986)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-70881-0_15","volume-title":"Perspectives of Systems Informatics","author":"G. Ciobanu","year":"2007","unstructured":"Ciobanu, G., Zakharov, V.A.: Encoding Mobile Ambients into the \u03c0-Calculus. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 148\u2013165. Springer, Heidelberg (2007)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-31837-8_7","volume-title":"Membrane Computing","author":"O. Andrei","year":"2005","unstructured":"Andrei, O., Ciobanu, G., Lucanu, D.: Executable Specifications of P Systems. In: Mauri, G., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol.\u00a03365, pp. 126\u2013145. Springer, Heidelberg (2005)"},{"key":"11_CR10","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. Electronic Notes of Theoretical Computer Science\u00a0156, 57\u201378 (2006)","journal-title":"Electronic Notes of Theoretical Computer Science"},{"key":"11_CR11","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 Science\u00a0373, 163\u2013181 (2007)","journal-title":"Theoretical Computer Science"},{"key":"11_CR12","unstructured":"Zappe, J.: Towards a Mobile Temporal Logic of Actions. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Munich, Germany (September 2005)"}],"container-title":["Lecture Notes in Computer Science","Computation, Cooperation, and Life"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20000-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T03:33:06Z","timestamp":1553830386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20000-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642199998","9783642200007"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20000-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}