Workshop on Abstract State Machines

Keyphrases

Publications

1998

Arnaud Durand
Modeling Cache Coherence Protocol - A Case Study with FLASH. Workshop on Abstract State Machines (1998)
Giampaolo Bella, Elvinia Riccobene
A Realistic Environment for Crypto-Protocol Analyses by ASMs. Workshop on Abstract State Machines (1998)
Giuseppe Del Castillo
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. Workshop on Abstract State Machines (1998)
Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings Workshop on Abstract State Machines (1998)
Wolfgang Schönfeld
Interacting Abstract State Machines. Workshop on Abstract State Machines (1998)
Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha
Interacting Abstract State Machines. Workshop on Abstract State Machines (1998)
Alexandre V. Zamulin
Object-Oriented Abstract State Machines. Workshop on Abstract State Machines (1998)
Andreas Heberle, Welf Löwe
On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations. Workshop on Abstract State Machines (1998)
Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines (1998)
Hans Tonino
A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. Workshop on Abstract State Machines (1998)
Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen
Developing New ASM-tools. Workshop on Abstract State Machines (1998)