Abstract is missing.
- Abstract State Machines at the Cusp of the MilleniumEgon Börger. 1-8 [doi]
- Abstract State Machines and Pure MathematicsAndreas Blass. 9-21 [doi]
- Abstract State Machines and Computationally Complete Query LanguagesAndreas Blass, Yuri Gurevich, Jan Van den Bussche. 22-33 [doi]
- On Verification of Refinements of Timed Distributed AlgorithmsJoëlle Cohen, Anatol Slissenko. 34-49 [doi]
- Objects + Views = Components?Martin Odersky. 50-68 [doi]
- XASM - An Extensible, Component-Based ASM LanguageMatthias Anlauff. 69-90 [doi]
- Generic Facilities in Object-Oriented ASMsAlexandre V. Zamulin. 91-111 [doi]
- Towards an ASM Thesis for Unconventional AlgorithmsWolfgang Reisig. 112-130 [doi]
- Partially Ordered Runs: A Case StudyYuri Gurevich, Dean Rosenzweig. 131-150 [doi]
- Investigating Java Concurrency Using Abstract State MachinesYuri Gurevich, Wolfram Schulte, Charles Wallace. 151-176 [doi]
- Verifying Compilers and ASMsGerhard Goos, Wolf Zimmermann. 177-202 [doi]
- An ASM Dynamic Semantics for Standard MLSteven C. Cater, James K. Huggins. 203-222 [doi]
- Modeling the Dynamics of UML State MachinesEgon Börger, Alessandra Cavarra, Elvinia Riccobene. 223-241 [doi]
- On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL MachineRobert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz. 242-265 [doi]
- Description and Simulation of Microprocessor Instruction Sets Using ASMsJürgen Teich, Philipp W. Kutter, Ralph Weper. 266-286 [doi]
- Symbolic Analysis of Transition SystemsNatarajan Shankar. 287-302 [doi]
- Encoding Abstract State Machines in PVSAngelo Gargantini, Elvinia Riccobene. 303-322 [doi]
- Model Checking Abstract State Machines and BeyondMarc Spielmann. 323-340 [doi]
- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case StudyKirsten Winter. 341-360 [doi]
- Report on a Practical Application of ASMs in Software DesignEgon Börger, Peter Päppinghaus, Joachim Schmid. 361-366 [doi]
- Using Abstract State Machines at Microsoft: A Case StudyMichael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes. 367-379 [doi]