{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T18:05:06Z","timestamp":1759341906282,"version":"3.37.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319743127"},{"type":"electronic","value":"9783319743134"}],"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-74313-4_10","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T00:17:43Z","timestamp":1516148263000},"page":"117-131","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Behavioural Theory for Reflective Sequential Algorithms"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Ferrarotti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus-Dieter","family":"Schewe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loredana","family":"Tec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1145\/937555.937561","volume":"4","author":"A Blass","year":"2003","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms. ACM Trans. Comput. Logic 4(4), 578\u2013651 (2003)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"3","key":"10_CR2","first-page":"19","volume":"9","author":"A Blass","year":"2008","unstructured":"Blass, A., Gurevich, Y.: Abstract state machines capture parallel algorithms: correction and extension. ACM Trans. Comp. Logic 9(3), 19 (2008)","journal-title":"ACM Trans. Comp. Logic"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s00165-003-0012-7","volume":"15","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The ASM refinement method. Formal Aspects Comput. 15, 237\u2013257 (2003)","journal-title":"Formal Aspects Comput."},{"issue":"5","key":"10_CR4","doi-asserted-by":"crossref","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 Inform. 53(5), 469\u2013492 (2016)","journal-title":"Acta Inform."},{"key":"10_CR5","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). \nhttps:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"key":"10_CR6","doi-asserted-by":"crossref","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."},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-319-33600-8_16","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"F Ferrarotti","year":"2016","unstructured":"Ferrarotti, F., Tec, L., Torres, J.M.T.: Towards an ASM thesis for reflective sequential algorithms. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 244\u2013249. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-33600-8_16"},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Logic 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-662-43652-3","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"E Riccobene","year":"2014","unstructured":"Riccobene, E., Scandurra, P.: Towards ASM-based formal specification of self-adaptive systems. In: Ameur, Y.A., Schewe, K.D. (eds.) Abstract State Machines, Alloy, B, TLA, VDM, and Z. LNCS, vol. 8477, pp. 204\u2013209. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-662-43652-3"},{"issue":"4","key":"10_CR10","first-page":"765","volume":"19","author":"KD Schewe","year":"2010","unstructured":"Schewe, K.D., Wang, Q.: A customised ASM thesis for database transformations. Acta Cybern. 19(4), 765\u2013805 (2010)","journal-title":"Acta Cybern."},{"doi-asserted-by":"crossref","unstructured":"Smith, B.C.: Reflection and semantics in LISP. In: Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1984, pp. 23\u201335. ACM (1984)","key":"10_CR11","DOI":"10.1145\/800017.800513"},{"key":"10_CR12","series-title":"Esprit Basic Research Series","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-59623-0_8","volume-title":"Fully Integrated Data Environments","author":"D Stemple","year":"2000","unstructured":"Stemple, D., et al.: Type-safe linguistic reflection: a generator technology. In: Atkinson, M., Welland, R. (eds.) Fully Integrated Data Environments. Esprit Basic Research Series, pp. 158\u2013188. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/978-3-642-59623-0_8"},{"issue":"3","key":"10_CR13","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1006\/jcss.1996.0040","volume":"52","author":"J Bussche Van den","year":"1996","unstructured":"Van den Bussche, J., Van Gucht, D., Vossen, G.: Reflective programming in the relational algebra. J. Comput. Syst. Sci. 52(3), 537\u2013549 (1996)","journal-title":"J. Comput. Syst. Sci."},{"unstructured":"Wang, Q., Ferrarotti, F., Schewe, K.D., Tec, L.: A complete logic for non-deterministic database transformations. CoRR abs\/1602.07486 (2016). \nhttp:\/\/arxiv.org\/abs\/1602.07486","key":"10_CR14"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74313-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T00:21:20Z","timestamp":1516148480000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74313-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319743127","9783319743134"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74313-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}