Abstract State Machines 2004. Advances in Theory and Practice

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

  • Wolf Zimmermann
  • Bernhard Thalheim
Conference proceedings ASM 2004

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Yuri Gurevich
      Pages 1-5
    2. Hans Langmaack
      Pages 20-37
    3. Robert F. Stärk, Egon Börger
      Pages 38-60
    4. Jan Van den Bussche
      Pages 61-61
  3. Research Papers

    1. Alessandra Cavarra, Juliana Küster-Filipe
      Pages 62-77
    2. Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi
      Pages 78-94
    3. Michael Fisher, Alexei Lisitsa
      Pages 95-110
    4. Elvinia Riccobene, Patrizia Scandurra
      Pages 111-126
    5. Yuri Gurevich, Rostislav Yavorskiy
      Pages 161-168
    6. Stanislas Nanchen, Robert F. Stärk
      Pages 169-185
    7. Antje Nowack
      Pages 186-201
    8. Dean Rosenzweig, Davor Runje
      Pages 202-217
  4. Back Matter

About these proceedings

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

  • Wolf Zimmermann
    • 1
  • Bernhard Thalheim
    • 2
  1. 1.Institut für InformatikMartin-Luther-Universität Halle-WittenbergHalle/SaaleGermany
  2. 2.Institute of Computer Science and Applied MathematicsChristian-Albrechts-University of KielKielGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b98118
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22094-7
  • Online ISBN 978-3-540-24773-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book