05658nam 22008055 450 991014415860332120200706115226.01-280-30768-497866103076853-540-24773-410.1007/b98118(CKB)1000000000212413(DE-He213)978-3-540-24773-9(SSID)ssj0000096289(PQKBManifestationID)11127840(PQKBTitleCode)TC0000096289(PQKBWorkID)10081562(PQKB)10660374(MiAaPQ)EBC3088502(PPN)155163779(EXLCZ)99100000000021241320121227d2004 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierAbstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /edited by Wolf Zimmermann, Bernhard Thalheim1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XII, 240 p.)Lecture Notes in Computer Science,0302-9743 ;3052Bibliographic Level Mode of Issuance: Monograph3-540-22094-1 Includes bibliographical references at the end of each chapters and index.Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C# Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C# -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown that all known models of com- tation can be expressed through speci?c abstract state machines. These models can be given in a representation-independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide a unifying theory to all of these models. At the same time ASM can be re?ned to other ASMs. Stepwise re?nement supports separation of concern during so- ware development and will support component-based construction of systems thus providing a foundation of new computational paradigms such as industrial programming, programming-in-the-large, and programming-in-the-world. ASM 2004 continued the success story of the ASM workshops. Previous workshops were held in the following European cities: Taormina, Italy (2003); Dagstuhl, Germany (2002); Las Palmas de Gran Canaria, Spain (2001); Monte Verita, Switherland (2000); Toulouse, France (1999); Magdeburg, Germany (1998); Cannes, France (1998, 1997); Paderborn, Germany (1996); and H- burg, Germany (1994). The ASM workshops have had predecessors, e.g., the famous Lipari Summer School in 1993, whose in?uential outcome was the f- damental Lipari Guide.Lecture Notes in Computer Science,0302-9743 ;3052Computer logicMathematical logicComputersSoftware engineeringProgramming languages (Electronic computers)Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer logic.Mathematical logic.Computers.Software engineering.Programming languages (Electronic computers).Logics and Meanings of Programs.Mathematical Logic and Foundations.Theory of Computation.Software Engineering.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.511.3Zimmermann Wolfedthttp://id.loc.gov/vocabulary/relators/edtThalheim Bernhardedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910144158603321Abstract State Machines 2004. Advances in Theory and Practice2179801UNINA