Skip to main content
  • Conference proceedings
  • © 2004

Abstract State Machines 2004. Advances in Theory and Practice

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

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

Conference series link(s): ASM: International Workshop on Abstract State Machines

Conference proceedings info: ASM 2004.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (16 papers)

  1. Front Matter

  2. Invited Papers

    1. Intra-step Interaction

      • Yuri Gurevich
      Pages 1-5
    2. An ALGOL-View on Turbo ASM

      • Hans Langmaack
      Pages 20-37
    3. An ASM Specification of C# Threads and the .NET Memory Model

      • Robert F. Stärk, Egon Börger
      Pages 38-60
    4. 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. Observations on the Decidability of Transitions

      • Yuri Gurevich, Rostislav Yavorskiy
      Pages 161-168
    6. A Security Logic for Abstract State Machines

      • Stanislas Nanchen, Robert F. Stärk
      Pages 169-185
    7. Slicing Abstract State Machines

      • Antje Nowack
      Pages 186-201
    8. The Cryptographic Abstract Machine

      • Dean Rosenzweig, Davor Runje
      Pages 202-217
  4. Back Matter

Other Volumes

  1. Abstract State Machines 2004. Advances in Theory and Practice

Keywords

  • ALGOL
  • Processing
  • UML
  • abstract state machines
  • concurrency
  • finite cursor machines
  • formal methods
  • formal specification
  • formal verification
  • logic
  • model checking
  • modeling
  • program semantics
  • software development
  • type theory

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions