{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:02:48Z","timestamp":1725854568522},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319335995"},{"type":"electronic","value":"9783319336008"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33600-8_2","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T08:15:15Z","timestamp":1462868115000},"page":"37-53","source":"Crossref","is-referenced-by-count":0,"title":["A Universal Control Construct for Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Michael","family":"Stegmaier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Dausend","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Raschke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,11]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"key":"2_CR2","volume-title":"The Designer\u2019s Guide to VHDL","author":"PJ Ashenden","year":"2008","unstructured":"Ashenden, P.J.: The Designer\u2019s Guide to VHDL, 3rd edn. Morgan Kaufmann Publishers Inc., San Francisco (2008)","edition":"3"},{"issue":"1","key":"2_CR3","first-page":"2","volume":"8","author":"E B\u00f6rger","year":"2002","unstructured":"B\u00f6rger, E.: The origins and the development of the ASM method for high level system design and analysis. J. UCS 8(1), 2\u201374 (2002)","journal-title":"J. UCS"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-36498-6_12","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., Bolognesi, T.: Remarks on Turbo ASMs for functional equations and recursion schemes. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 218\u2013228. Springer, Heidelberg (2003)"},{"key":"2_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines. A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"2_CR6","unstructured":"Farahbod, R.: CoreASM: an extensible modeling framework & Tool environment for high-level design and analysis of distributed systems. Ph.D. thesis, Simon Fraser University.(2009)"},{"key":"2_CR7","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: an extensible ASM execution engine. In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005. pp. 153\u2013166 (2005)"},{"key":"2_CR8","volume-title":"Formal Specification and Design. Cambridge Tracts in Theoretical Computer Science","author":"LMG Feijs","year":"1992","unstructured":"Feijs, L.M.G., Jonkers, H.B.M.: Formal Specification and Design. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1992)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J.S., Larsen, P.G., Verhoef, M.: Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering (2008)","DOI":"10.1002\/9780470050118.ecse447"},{"issue":"1","key":"2_CR10","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 Trans. Comput. Logic (TOCL) 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-44518-8_10","volume-title":"Abstract State Machines - Theory and Applications","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y., Schulte, W., Wallace, C.: Investigating Java concurrency using abstract state machines. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 151\u2013176. Springer, Heidelberg (2000)"},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"397","DOI":"10.2307\/2369492","volume":"2","author":"WW Johnson","year":"1879","unstructured":"Johnson, W.W., Story, W.E.: Notes on the \u201c15\" puzzle. Am. J. Math. 2(4), 397\u2013404 (1879)","journal-title":"Am. J. Math."},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation : Foundations","year":"1997","key":"2_CR13","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation : Foundations, vol. 1. World Scientific Pub Co, Singapore (1997)"},{"key":"2_CR14","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2009","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall Press, Upper Saddle River (2009)","edition":"3"},{"key":"2_CR15","unstructured":"Schroeder, A.: Integrated program measurement and documentation tools. In: Proceedings of the 7th International Conference on Software Engineering, ICSE 1984, pp. 304\u2013313. IEEE Press (1984)"}],"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-33600-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T03:24:05Z","timestamp":1559445845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33600-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319335995","9783319336008"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33600-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}