{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:19:23Z","timestamp":1725527963218},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678953"},{"type":"electronic","value":"9783540446224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44622-2_3","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T04:32:38Z","timestamp":1187238758000},"page":"41-60","source":"Crossref","is-referenced-by-count":26,"title":["Composition and Submachine Concepts for Sequential ASMs"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"J. R. Abrial. The B-Book. Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"3_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proc. ASM 2000","author":"M. Anlauff","year":"2000","unstructured":"M. Anlauff. XASM-An extensible, component-based Abstract State Machines language. In Y. Gurevich, M. Odersky, and L. Thiele, editors, Proc. ASM 2000, Lecture Notes in Computer Science. Springer-Verlag, 2000. to appear."},{"issue":"5","key":"3_CR3","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C. B\u00f6hm","year":"1966","unstructured":"C. B\u00f6hm and G. Jacopini. Flow diagrams, Turing Machines, and languages with only two formation rules. Communications of the ACM, 9(5):366\u2013371, 1966.","journal-title":"Communications of the ACM"},{"key":"3_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48257-1_1","volume-title":"Current Trends in Applied Formal Methods (FM-Trends 98)","author":"E. B\u00f6rger","year":"1999","unstructured":"E. B\u00f6rger. High level system design and analysis using Abstract State Machines. In D. Hutter, W. Stephan, P. Traverso, and M. Ullmann, editors, Current Trends in Applied Formal Methods (FM-Trends 98), number 1641 in Lecture Notes in Computer Science, pages 1\u201343. Springer-Verlag, 1999."},{"key":"3_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proc. AMAST 2000","author":"E. B\u00f6rger","year":"2000","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene. An ASM semantics for UML Activity Diagrams. In T. Rust, editor, Proc. AMAST 2000, Lecture Notes in Computer Science. Springer-Verlag, 2000."},{"key":"3_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proc. ASM 2000","author":"E. B\u00f6rger","year":"2000","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene. A simple formal model for UML State Machines. In Y. Gurevich, M. Odersky, and L. Thiele, editors, Proc. ASM 2000, Lecture Notes in Computer Science. Springer-Verlag, 2000. to appear."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, E. Gr\u00e4del, and Y. Gurevich. The Classical Decision Problem. Perspectives in Mathematical Logic. Springer-Verlag, 1997.","DOI":"10.1007\/978-3-642-59207-2"},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Java and the Java Virtual Machine","author":"E. B\u00f6rger","year":"2000","unstructured":"E. B\u00f6rger, J. Schmid, W. Schulte, and R. St\u00e4rk. Java and the Java Virtual Machine. Lecture Notes in Computer Science. Springer-Verlag, 2000. to appear."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger and W. Schulte. Modular Design for the Java Virtual Machine Architecture. In E. B\u00f6rger, editor, Architecture Design and Validation Methods, pages 297\u2013357. Springer-Verlag, 2000.","DOI":"10.1007\/978-3-642-57199-2_7"},{"key":"3_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-13331-3_42","volume-title":"Logic and Machines: Decision Problems and Complexity","author":"A. Br\u00fcggemann","year":"1984","unstructured":"A. Br\u00fcggemann, L. Priese, D. R\u00f6dding, and R. Sch\u00e4tz. Modular decomposition of automata. In E. B\u00f6rger, G. Hasenj\u00e4ger, and D. R\u00f6dding, editors, Logic and Machines: Decision Problems and Complexity, number 171 in Lecture Notes in Computer Science, pages 198\u2013236. Springer-Verlag, 1984."},{"key":"3_CR11","unstructured":"G. D. Castillo. ASM-SL, a Specification Language based on Gurevich\u2019s Abstract State Machines, 1999."},{"key":"3_CR12","volume-title":"The Universal Computer: The Road from Leibniz to Turing","author":"M. Davis","year":"2000","unstructured":"M. Davis. The Universal Computer: The Road from Leibniz to Turing. W.W. Norton, New York, 2000. to appear."},{"key":"3_CR13","unstructured":"Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201336. Oxford University Press, 1995."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Y. Gurevich. Sequential Abstract State Machines capture sequential algorithms. ACM Transactions on Computational Logic, 1(1), 2000.","DOI":"10.1145\/343369.343384"},{"issue":"4","key":"3_CR15","first-page":"233","volume":"3","author":"Y. Gurevich","year":"1997","unstructured":"Y. Gurevich and M. Spielmann. Recursive abstract state machines. Journal of Universal Computer Science, 3(4):233\u2013246, 1997.","journal-title":"Journal of Universal Computer Science"},{"key":"3_CR16","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"S. C. Kleene. Introduction to Metamathematics. D. van Nostrand, Princeton, New Jersey, 1952."},{"key":"3_CR17","first-page":"339","volume":"71","author":"D. L. Parnas","year":"1972","unstructured":"D. L. Parnas. Information distribution aspects of design methodology. In Information Processing 71, pages 339\u2013344. North Holland Publishing Company, 1972.","journal-title":"Information Processing"},{"key":"3_CR18","unstructured":"J. Schmid. Executing ASM specifications with AsmGofer. Web pages at: http:\/\/www.tydo.de\/AsmGofer , 1999."},{"key":"3_CR19","unstructured":"A. Zamulin. Object-oriented Abstract State Machines. In Proceedings of the 28th Annual Conference of the German Society of Computer Science. Technical Report, Magdeburg University, 1998."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44622-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:17:51Z","timestamp":1556756271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44622-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678953","9783540446224"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44622-2_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}