default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. ASM 1998: Magdeburg, Germany
- Uwe Glässer, Peter H. Schmitt:
Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings. 1998
New ASM Concepts
- Alexandre V. Zamulin:
Object-Oriented Abstract State Machines. Workshop on Abstract State Machines 1998: 1-21 - Wolfgang Schönfeld:
Interacting Abstract State Machines. Workshop on Abstract State Machines 1998: 22-36 - Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha:
Interacting Abstract State Machines. Workshop on Abstract State Machines 1998: 37-49
Compiler Correctness and Formal Semantics
- Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann:
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67 - Andreas Heberle, Welf Löwe:
On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations. Workshop on Abstract State Machines 1998: 68-90 - Hans Tonino:
A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. Workshop on Abstract State Machines 1998: 91-110
Analysis and Verification of Protocols
- Arnaud Durand:
Modeling Cache Coherence Protocol - A Case Study with FLASH. Workshop on Abstract State Machines 1998: 111-126 - Giampaolo Bella, Elvinia Riccobene:
A Realistic Environment for Crypto-Protocol Analyses by ASMs. Workshop on Abstract State Machines 1998: 127-138
ASM Tool Support
- Giuseppe Del Castillo:
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. Workshop on Abstract State Machines 1998: 139-154 - Dag Diesen, Trond Ove Svendsen, Bjørn Thorstensen:
Developing New ASM-tools. Workshop on Abstract State Machines 1998: 155-158
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-10 00:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
