Skip to main content
SpringerLink
Log in
Book cover

Abstract State Machines 2004. Advances in Theory and Practice

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Wolf Zimmermann

    1. Institut für Informatik, Martin-Luther-Universität Halle-Wittenberg, Halle/Saale, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Thalheim

    1. Institute of Computer Science and Applied Mathematics, Christian-Albrechts-University of Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3052)

Included in the following conference series:

Conference proceedings info: ASM 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Intra-step Interaction

      • Yuri Gurevich
      Pages 1-5

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

      • Hans-Michael Hanisch
      Pages 6-19

    3. An ALGOL-View on Turbo ASM

      • Hans Langmaack
      Pages 20-37

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

      • Robert F. Stärk, Egon Börger
      Pages 38-60

    5. Finite Cursor Machines in Database Query Processing

      • Jan Van den Bussche
      Pages 61-61

  3. Research Papers

    1. Formalizing Liveness-Enriched Sequence Diagrams Using ASMs

      • Alessandra Cavarra, Juliana Küster-Filipe
      Pages 62-77

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

      • Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
      Pages 78-94

    3. Monodic ASMs and Temporal Verification

      • Michael Fisher, Alexei Lisitsa
      Pages 95-110

    4. Towards an Interchange Language for ASMs

      • Elvinia Riccobene, Patrizia Scandurra
      Pages 111-126

    5. Specification and Implementation Problems for C#

      • Nicu G. Fruja
      Pages 127-143

    6. An ASM Semantics for SSA Intermediate Representations

      • Sabine Glesner
      Pages 144-160

    7. Observations on the Decidability of Transitions

      • Yuri Gurevich, Rostislav Yavorskiy
      Pages 161-168

    8. A Security Logic for Abstract State Machines

      • Stanislas Nanchen, Robert F. Stärk
      Pages 169-185

    9. Slicing Abstract State Machines

      • Antje Nowack
      Pages 186-201

    10. The Cryptographic Abstract Machine

      • Dean Rosenzweig, Davor Runje
      Pages 202-217

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

      • Heinrich Rust
      Pages 218-233

  4. Back Matter

    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Institut für Informatik, Martin-Luther-Universität Halle-Wittenberg, Halle/Saale, Germany

    Wolf Zimmermann

  • Institute of Computer Science and Applied Mathematics, Christian-Albrechts-University of Kiel, Kiel, Germany

    Bernhard Thalheim

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation