Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Zimmermann, Wolf (Editor), Thalheim, Bernhard (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Series: Lecture Notes in Computer Science, 3052
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Foundations.; Theory of Computation.; Software Engineering.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.

Table of Contents:

• 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.