Abstract State Machines - Theory and Applications

International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

  • Yuri Gurevich
  • Philipp W. Kutter
  • Martin Odersky
  • Lothar Thiele
Conference proceedings ASM 2000

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Introduction

  3. Mathematical Foundations

    1. Andreas Blass, Yuri Gurevich, Jan Van den Bussche
      Pages 22-33
  4. Abstract State Machine Languages

  5. Distribution and Concurrency

    1. Yuri Gurevich, Dean Rosenzweig
      Pages 131-150
    2. Yuri Gurevich, Wolfram Schulte, Charles Wallace
      Pages 151-176
  6. Compilers and Semantics

    1. Steven C. Cater, James K. Huggins
      Pages 203-222
    2. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
      Pages 223-241
    3. Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
      Pages 242-265
    4. Jürgen Teich, Kutter Philipp W., Ralph Weper
      Pages 266-286
  7. Automatic Verication and Model Checking

    1. Natarajan Shankar
      Pages 287-302
    2. Angelo Gargantini, Elvinia Riccobene
      Pages 303-322
  8. Industrial Applications

    1. Egon Börger, Peter Päppinghaus, Joachim Schmid
      Pages 361-366
    2. Mike Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
      Pages 367-369
  9. Back Matter
    Pages 381-381

Other volumes

  1. First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 Proceedings
  2. Abstract State Machines - Theory and Applications
    International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

About these proceedings


The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl¨asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ¨ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.


Abstract State Machines (ASM) Compiler Concurrency Evolving Algebras Formal Methods Formal Verification Java Language Specification ML algorithm algorithms design modeling structured design verification

Editors and affiliations

  • Yuri Gurevich
    • 1
  • Philipp W. Kutter
    • 2
  • Martin Odersky
    • 3
  • Lothar Thiele
    • 4
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.ETH ZürichInstitute TIK Gloriastr.ZürichSwitzerland
  3. 3.EPFL LausanneDI IN-EcublensLausanneSwitzerland
  4. 4.ETH ZürichInstitute TIK Gloriastr.ZürichSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67959-2
  • Online ISBN 978-3-540-44518-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site