5. ASM 1998: Magdeburg, Germany

New ASM Concepts

• Alexandre V. Zamulin: Object-Oriented Abstract State Machines. 1-21 BibTeX
• Wolfgang Schönfeld: Interacting Abstract State Machines. 22-36 BibTeX
• Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha: Interacting Abstract State Machines. 37-49 BibTeX

Compiler Correctness and Formal Semantics

• Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. 50-67 BibTeX
• Andreas Heberle, Welf Löwe: On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations. 68-90 BibTeX
• Hans Tonino: A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. 91-110 BibTeX

Analysis and Verification of Protocols

• Arnaud Durand: Modeling Cache Coherence Protocol - A Case Study with FLASH. 111-126 BibTeX
• Giampaolo Bella, Elvinia Riccobene: A Realistic Environment for Crypto-Protocol Analyses by ASMs. 127-138 BibTeX

ASM Tool Support

• Giuseppe Del Castillo: The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. 139-154 BibTeX
• Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen: Developing New ASM-tools. 155-158 BibTeX