{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T14:13:38Z","timestamp":1725977618298},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319912707"},{"type":"electronic","value":"9783319912714"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91271-4_27","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T14:32:55Z","timestamp":1525703575000},"page":"380-385","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Capturing Membrane Computing by ASMs"],"prefix":"10.1007","author":[{"given":"Klaus-Dieter","family":"Schewe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loredana","family":"Tec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"issue":"1","key":"27_CR1","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.1145\/2610375","volume":"24","author":"R Banach","year":"2014","unstructured":"Banach, R., Zhu, H., Su, W., Wu, X.: A continuous ASM modelling approach to pacemaker sensing. ACM Trans. Softw. Eng. Methodol. 24(1), 2:1\u20132:40 (2014)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"5","key":"27_CR2","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s00236-015-0249-7","volume":"53","author":"E B\u00f6rger","year":"2016","unstructured":"B\u00f6rger, E., Schewe, K.D.: Concurrent abstract state machines. Acta Informatica 53(5), 469\u2013492 (2016)","journal-title":"Acta Informatica"},{"issue":"3","key":"27_CR3","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1016\/j.jcss.2011.08.004","volume":"78","author":"E B\u00f6rger","year":"2012","unstructured":"B\u00f6rger, E., Cisternino, A., Gervasi, V.: Ambient abstract state machines with applications. J. Comput. Syst. Sci. 78(3), 939\u2013959 (2012)","journal-title":"J. Comput. Syst. Sci."},{"key":"27_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-74313-4_10","volume-title":"Perspectives of System Informatics","author":"F Ferrarotti","year":"2018","unstructured":"Ferrarotti, F., Schewe, K.-D., Tec, L.: A behavioural theory for reflective sequential algorithms. In: Petrenko, A.K., Voronkov, A. (eds.) PSI 2017. LNCS, vol. 10742, pp. 117\u2013131. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74313-4_10"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2016.08.013","volume":"649","author":"F Ferrarotti","year":"2016","unstructured":"Ferrarotti, F., Schewe, K.D., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649, 25\u201353 (2016)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"27_CR7","first-page":"134","volume":"9","author":"C Mart\u00edn-Vide","year":"2001","unstructured":"Mart\u00edn-Vide, C., P\u0103un, G., Rodr\u00edguez-Pat\u00f3n, A.: On P systems with membrane creation. Comput. Sci. J. Moldova 9(2), 134\u2013145 (2001)","journal-title":"Comput. Sci. J. Moldova"},{"issue":"9","key":"27_CR8","first-page":"588","volume":"5","author":"I Petre","year":"1999","unstructured":"Petre, I., Petre, L.: Mobile ambients and P-systems. J. UCS 5(9), 588\u2013598 (1999)","journal-title":"J. UCS"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"5523","DOI":"10.1007\/978-0-387-30440-3_328","volume-title":"Encyclopedia of Complexity and Systems Science","author":"G P\u0103un","year":"2009","unstructured":"P\u0103un, G.: Membrane computing. In: Meyers, R.A. (ed.) Encyclopedia of Complexity and Systems Science, pp. 5523\u20135535. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-0-387-30440-3_328"},{"key":"27_CR10","series-title":"An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03563-4","volume-title":"DNA Computing - New Computing Paradigms","author":"G P\u0103un","year":"1998","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A.: DNA Computing - New Computing Paradigms. An EATCS Series. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-662-03563-4"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Schewe, K.D.: Concurrent reflective abstract state machines. In: Jebelean, T., et al. (eds.) 19th Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017). IEEE (2018, to appear)","DOI":"10.1109\/SYNASC.2017.00015"},{"key":"27_CR12","unstructured":"Schewe, K.D., Wang, Q.: Partial updates in complex-value databases. In: Information Modelling and Knowledge Bases XXII (EJC 2010). Frontiers in Artificial Intelligence and Applications, vol. 225, pp. 37\u201356. IOS Press (2010)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91271-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T16:52:01Z","timestamp":1571331121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91271-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912707","9783319912714"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91271-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}