{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:37:42Z","timestamp":1725543462169},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354284"},{"type":"electronic","value":"9783540354307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11779148_2","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T05:55:49Z","timestamp":1150869349000},"page":"14-19","source":"Crossref","is-referenced-by-count":0,"title":["Can Abstract State Machines Be Useful in Language Theory?"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Gurevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Abstract State Machines, http:\/\/www.eecs.umich.edu\/groups\/gasm\/"},{"key":"2_CR2","unstructured":"Abstract State Machine Language (AsmL), http:\/\/research.microsoft.com\/fse\/asml\/"},{"key":"2_CR3","first-page":"195","volume":"81","author":"A. Blass","year":"2003","unstructured":"Blass, A., Gurevich, Y.: Algorithms: A Quest for Absolute Definitions. Bulletin of the European Association for Theoretical Computer Science\u00a081, 195\u2013225 (2003)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0168-0072(99)00005-6","volume":"100","author":"A. Blass","year":"1999","unstructured":"Blass, A., Gurevich, Y., Shelah, S.: Choiceless Polynomial Time. Annals of Pure and Applied Logic\u00a0100, 141\u2013187 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.2178\/jsl\/1190150152","volume":"67","author":"A. Blass","year":"2002","unstructured":"Blass, A., Gurevich, Y., Shelah, S.: On Polynomial Time Computation Over Unordered Structures. Journal of Symbolic Logic\u00a067(3), 1093\u20131125 (2002)","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.apal.2004.10.007","volume":"133","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E.: Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks. Annals of Pure and Applied Logic\u00a0133, 149\u2013171 (2005)","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-36498-6_18","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"E. Gr\u00e4del","year":"2003","unstructured":"Gr\u00e4del, E., Nowack, A.: Quantum Computing and Abstract State Machines. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 309\u2013323. Springer, Heidelberg (2003)"},{"key":"2_CR8","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","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 Transactions on Computational Logic\u00a01(1), 77\u2013111 (2000)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.tcs.2005.06.017","volume":"343","author":"Y. Gurevich","year":"2005","unstructured":"Gurevich, Y., Rossman, B., Schulte, W.: Semantic Essence of AsmL. Theoretical Computer Science\u00a0343(3), 370\u2013412 (2005)","journal-title":"Theoretical Computer Science"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11549345_3","volume-title":"Mathematical Foundations of Computer Science 2005","author":"Y. Gurevich","year":"2005","unstructured":"Gurevich, Y.: Interactive Algorithms 2005. In: Jedrzejowicz, J., Szepietowski, A. (eds.) MFCS 2005. LNCS, vol.\u00a03618, pp. 26\u201338. Springer, Heidelberg (2005)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1090\/S0002-9939-1958-0135681-9","volume":"9","author":"A. Nerode","year":"1958","unstructured":"Nerode, A.: Linear Automaton Transformations. Proceedings of the American Mathematical Society\u00a09, 541\u2013544 (1958)","journal-title":"Proceedings of the American Mathematical Society"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","key":"2_CR13","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01 - Foundations. World Scientific, Singapore (1997)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of London Mathematical Society, series\u00a02, 42, pp. 230\u2013265 (1936-1937), Correction, ibidem, 43, 544\u2013546","DOI":"10.1112\/plms\/s2-42.1.230"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779148_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:48Z","timestamp":1619507748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779148_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354284","9783540354307"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11779148_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}