Abstract State Machines 2004. Advances in Theory and Practice

11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

Editors:

ISBN: 978-3-540-22094-7 (Print) 978-3-540-24773-9 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. Invited Papers

    1. No Access

      Book Chapter

      Pages 1-5

      Intra-step Interaction

    2. No Access

      Book Chapter

      Pages 6-19

      Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering

    3. No Access

      Book Chapter

      Pages 20-37

      An ALGOL-View on Turbo ASM

    4. No Access

      Book Chapter

      Pages 38-60

      An ASM Specification of C# Threads and the .NET Memory Model

    5. No Access

      Book Chapter

      Pages 61-61

      Finite Cursor Machines in Database Query Processing

  3. Research Papers

    1. No Access

      Book Chapter

      Pages 62-77

      Formalizing Liveness-Enriched Sequence Diagrams Using ASMs

    2. No Access

      Book Chapter

      Pages 78-94

      Specification and Validation of the Business Process Execution Language for Web Services

    3. No Access

      Book Chapter

      Pages 95-110

      Monodic ASMs and Temporal Verification

    4. No Access

      Book Chapter

      Pages 111-126

      Towards an Interchange Language for ASMs

    5. No Access

      Book Chapter

      Pages 127-143

      Specification and Implementation Problems for C#

    6. No Access

      Book Chapter

      Pages 144-160

      An ASM Semantics for SSA Intermediate Representations

    7. No Access

      Book Chapter

      Pages 161-168

      Observations on the Decidability of Transitions

    8. No Access

      Book Chapter

      Pages 169-185

      A Security Logic for Abstract State Machines

    9. No Access

      Book Chapter

      Pages 186-201

      Slicing Abstract State Machines

    10. No Access

      Book Chapter

      Pages 202-217

      The Cryptographic Abstract Machine

    11. No Access

      Book Chapter

      Pages 218-233

      Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals

  4. Back Matter

    Pages -