{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:52Z","timestamp":1725488092805},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_9","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:55:04Z","timestamp":1185933304000},"page":"89-118","source":"Crossref","is-referenced-by-count":6,"title":["Algebraic State Machines"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport: Composing specifications. Digital Systems Research Center, SRC Report 66, October 1990.","DOI":"10.1007\/3-540-52559-9_59"},{"key":"9_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/978-3-540-49020-3_3","volume-title":"Fundamental Approaches to Software Engineering, FASE\u2019 99","author":"D. Ancona","year":"1999","unstructured":"D. Ancona, M. Cerioli, E. Zucca: A formal framework with late binding. In J.P. Finance (ed.): Fundamental Approaches to Software Engineering, FASE\u2019 99, Lecture Notes in Computer Science 1577, pages 30\u201344, Berlin: Springer, 1999."},{"volume-title":"Algebraic Foundations of Systems Specifications","year":"1999","key":"9_CR3","unstructured":"E. Astesiano, H.-J. Kreowski, B. Krieg-Br\u00fcckner (eds.): Algebraic Foundations of Systems Specifications. Berlin: Springer, 1999."},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1007\/3-540-59293-8_233","volume-title":"TAPSOFT\u2019 95","author":"H. Baumeister","year":"1995","unstructured":"H. Baumeister: Relations as abstract datatypes: An institution to specify relations between algebras. In TAPSOFT\u2019 95, Lecture Notes in Computer Science 915, pages 756\u2013771, Arhus, Denmark, May 1995. Springer."},{"key":"9_CR5","unstructured":"H. Baumeister: Relations between Abstract Datatypes modeled as Abstract Datatypes, PhD thesis, Universit\u00e4t Saarbr\u00fccken, 1999."},{"key":"9_CR6","series-title":"Lecture Notes of Computer Science","first-page":"235","volume-title":"SOFSEM\u2019 95, 22nd Seminar on Current Trends in Theory and Practice of Informatics","author":"E. B\u00f6rger","year":"1995","unstructured":"E. B\u00f6rger: Why use evolving algebras for hardware and software Engineering. In: M. Bartosek, J. Standek, J. Wiedermann (eds): SOFSEM\u2019 95, 22nd Seminar on Current Trends in Theory and Practice of Informatics. Lecture Notes of Computer Science 1012, pages, 235\u2013271. Springer, Berlin, 1995."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"W. Brauer: Automatentheorie, Teubner 1984.","DOI":"10.1007\/978-3-322-92151-2"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"M. Broy: Views of queues. Science of Computer Programming 11, pages 65\u201386, 1988.","DOI":"10.1016\/0167-6423(88)90065-2"},{"key":"9_CR9","series-title":"Lecture Notes of Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-60117-1_3","volume-title":"Mathematics of Program Construction, July 1995, Kloster Irsee","author":"M. Broy","year":"1995","unstructured":"M. Broy: Mathematics of software engineering. Invited talk at MPC 95. In: B. M\u00f6ller (ed.): Mathematics of Program Construction, July 1995, Kloster Irsee, Lecture Notes of Computer Science 947, pages, 18\u201347. Springer, Berlin, 1995."},{"key":"9_CR10","series-title":"Lecture Notes of Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/BFb0015250","volume-title":"Computer Science Today","author":"M. Broy","year":"1995","unstructured":"M. Broy: Mathematical system models as a basis of software engineering. J. van Leeuwen (ed.): Computer Science Today. Lecture Notes of Computer Science 1000, pages, 292\u2013306. Springer, Berlin, 1995."},{"key":"9_CR11","unstructured":"M. Broy: The specification of system components by state transition diagrams. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9729, Mai 1997."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"M. Chandy, J. Misra: Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"9_CR13","unstructured":"P. Dauchy: D\u00e9veloppement et exploitation d\u2019une sp\u00e9cification alg\u00e9brique du logiciel embarqu\u00e9 d\u2019un m\u00e9tro. Th\u00e8se, Universit\u00e9 de Paris-Sud, Orsay 1992."},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0049-237X(08)71949-9","volume-title":"Proc. Logic Colloquium 73","author":"C.C. Elgot","year":"1975","unstructured":"C.C. Elgot: Monadic computation and iterative algebraic theories. Proc. Logic Colloquium 73, pages 175\u2013230, Amsterdam: North-Holland, 1975."},{"key":"9_CR15","unstructured":"H. Ganzinger: Denotational semantics for languages with modules. In: D. Bj\u00f6rner (ed.): TC2 Working Conference of Formal Description of Programming Concepts II, pages, 3\u201321. Garmisch, 1982."},{"key":"9_CR16","unstructured":"M.-C. Gaudel: Correctness Proof of Programming Language Translation, pages 25\u201343. 1982."},{"key":"9_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-49020-3_8","volume-title":"Fundamental Approaches to Software Engineering, FASE\u2019 99","author":"M.-C. Gaudel","year":"1999","unstructured":"M.-C. Gaudel, C. Khoury, A. Zamulin: Dynamic systems with implicit state. In J.P. Finance (ed.): Fundamental Approaches to Software Engineering, FASE\u2019 99, Lecture Notes in Computer Science, pages, 114\u2013128. Berlin: Springer, 1999."},{"key":"9_CR18","unstructured":"Y. Gurevich: Evolving Algebra 1993: Lipari Guide. In: E. B\u00f6rger (ed.): Specification and Validation Methods. Oxford University Press 1995."},{"key":"9_CR19","unstructured":"Y. Gurevich: Abstract state machines. In T. Rus (ed.): AMAST 2000, Iowa City, 2000, this volume."},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"D. Harel: A visual formalism for complex systems. Science of Computer Programming 8, pages 231\u2013274, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"volume-title":"Entity\/Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen","year":"1995","author":"R. Hettler","key":"9_CR21","unstructured":"R. Hettler: Entity\/Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen. Dissertation, TU M\u00fcnchen. Reihe Softwaretechnik, Marburg: Tectum Verlag, 1995."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare: An axiomatic basis for computer programming. Comm. ACM 12, pages 576\u2013583, 1969.","DOI":"10.1145\/363235.363259"},{"issue":"3","key":"9_CR23","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport: The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16(3), pages 872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR24","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0890-5401(89)90066-7","volume":"82","author":"N. Lynch","year":"1989","unstructured":"N. Lynch, E. Stark: A proof of the Kahn principle for input\/output automata. Information and Computation 82, pages 81\u201392. 1989.","journal-title":"Information and Computation"},{"key":"9_CR25","unstructured":"B. Meyer: Object-Oriented Software Construction. Prentice Hall International, 1988."},{"key":"9_CR26","unstructured":"Rational: The Unified Modeling Language, Version 1.3, Rational Software Corporation, http:\/\/www.rational.com , 1999."},{"key":"9_CR27","unstructured":"M. Broy, C. Facchi, R. Hettler, H. Hu\u00dfmann, D. Nazareth, F. Regensburger, O. Slotosch, K. St\u00f8len: The Requirement and Design Specification Language SPectrum. An Informal Introduction. Version 1.0. Part I\/II Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-I9311 \/ TUM-I9312, May 1993."},{"key":"9_CR28","unstructured":"B. Selic, G. Gullekson, P.T. Ward: Real Time Object Oriented Modeling. Wiley & Sons, 1994."},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"B. Selic, J. Rumbaugh: Using UML for Modeling Complex Real-Time Systems. Rational Software Corporation & ObjecTime Ltd., 1998.","DOI":"10.1007\/BFb0057795"},{"key":"9_CR30","unstructured":"D. D\u2019Souza, A.C. Wills: Objects, Components, Frameworks with UML: The Catalysis approach. Addison-Wesley,1998."},{"key":"9_CR31","first-page":"675","volume-title":"Handbook of Theoretical Computer Science","author":"M. Wirsing","year":"1990","unstructured":"M. Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Vol. B, pages 675\u2013788, Amsterdam: North Holland, 1990."},{"volume-title":"The Object Constraint Language: Precise Modeling with UML. Reading","year":"1999","author":"J. Warmer","key":"9_CR32","unstructured":"J. Warmer, A. Kleppe: The Object Constraint Language: Precise Modeling with UML. Reading, Mass.: Addison-Wesley, 1999."},{"issue":"2","key":"9_CR33","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1017\/S0960129500000736","volume":"5","author":"E. Astesiano","year":"1995","unstructured":"E. Astesiano, E. Zucca: D-oids: a model for dynamic data types. Mathematical Structures in Computer Science 5(2), pages 257\u2013282, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR34","unstructured":"CoFI Language Design Group: CASL-Summary (Version 1.0). http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASL\/Summary , 1998."},{"key":"9_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3073-4","volume-title":"Formal Object-Oriented Development","author":"K. Lano","year":"1995","unstructured":"K. Lano: Formal Object-Oriented Development. London: Springer, 1995."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:28:15Z","timestamp":1556728095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":35,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-45499-3_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}
