{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:37Z","timestamp":1725566677297},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235644"},{"type":"electronic","value":"9783540302087"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30208-7_16","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T22:17:23Z","timestamp":1285107443000},"page":"73-80","source":"Crossref","is-referenced-by-count":3,"title":["Membrane Calculus: A Formal Method for Grid Transactions"],"prefix":"10.1007","author":[{"given":"Zhengwei","family":"Qi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongyu","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyuan","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minglu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","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. Comput. System Sci.\u00a061(1), 108\u2013143 (2000)","journal-title":"J. Comput. System Sci."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(02)00136-6","volume":"287","author":"G. P\u0103un","year":"2002","unstructured":"P\u0103un, G., Rozenberg, G.: A guide to membrane computing. Theoret. Comput. Sci.\u00a0287, 73\u2013100 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"16_CR3","series-title":"Monographs in Theoretical Computer Science","volume-title":"Basic Concepts","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Basic Concepts. Monographs in Theoretical Computer Science, vol.\u00a01, Springer, Heidelberg (1997) (2nd corrected printing)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-45694-5_22","volume-title":"CONCUR 2002 - Concurrency Theory","author":"R. Bruni","year":"2002","unstructured":"Bruni, R., Laneve, C., Montanari, U.: Orchestrating Transactions in Join Calculus. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 321. Springer, Heidelberg (2002)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-44988-4_7","volume-title":"Application and Theory of Petri Nets 2000","author":"R. Bruni","year":"2000","unstructured":"Bruni, R., Montanari, U.: Transactions and Zero-Safe Nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, p. 83. Springer, Heidelberg (2000)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-24619-0_21","volume-title":"Membrane Computing","author":"Z. Qi","year":"2004","unstructured":"Qi, Z., You, J., Mao, H.: P Systems and Petri Nets. In: Mart\u00edn-Vide, C., Mauri, G., P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol.\u00a02933, pp. 286\u2013303. Springer, Heidelberg (2004)"},{"key":"16_CR7","unstructured":"Banatre, J.-P., Fradet, P., Radenac, Y.: Higher-order chemistry. In: Proc. of Workshop on Membrane Computing, Tarragona, Spain (2003)"},{"key":"16_CR8","doi-asserted-by":"publisher","DOI":"10.1142\/9789812810908","volume-title":"Words, Semigroups, and Transducers","author":"M. Ito","year":"2001","unstructured":"Ito, M., Martin-Vide, C., P\u0103un, G.: A characterization of Parikh sets of ET0L languages in terms of P systems. In: Ito, M., P\u0103un, G., Yu, S. (eds.) Words, Semigroups, and Transducers, World Scientific, Singapore (2001)"},{"key":"16_CR9","unstructured":"Cabrera, F., Copeland, G., Freund, T., et al.: Web Services Coordination (WSCoordination) (August 2002), \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/library\/ws-coor\/"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/3-540-48017-X_32","volume-title":"DNA Computing","author":"M. Margenstern","year":"2002","unstructured":"Margenstern, M., Martin-Vide, C., P\u0103un, G.: Computing with membranes: variants with an enhanced membrane handling. In: Jonoska, N., Seeman, N.C. (eds.) DNA 2001. LNCS, vol.\u00a02340, p. 340. Springer, Heidelberg (2002)"},{"key":"16_CR11","unstructured":"Cabrera, F., Copeland, G., Fox, B., et al.: Web Services Transaction (WS-Transaction) (August 2002), \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/library\/ws-transpec\/"},{"key":"16_CR12","unstructured":"Czajkowski, K., Dan, A., Rofrano, J., et al.: Agreement-based Grid Service Management (OGSI-Agreement), (June 2003), \n                    \n                      http:\/\/www.globus.org\/research\/papers\/OGSI_Agreement_2003_06_12.pdf"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-39958-2_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Bocchi","year":"2003","unstructured":"Bocchi, L., Laneve, C., Zavattaro, G.: A Calculus for Long-Running Transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 124\u2013138. Springer, Heidelberg (2003)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M. Clavel","year":"2003","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., et al.: The Maude 2.0 System. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing - GCC 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30208-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:55:43Z","timestamp":1620014143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30208-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235644","9783540302087"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30208-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}