Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 ProceedingsAuthor: Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele Published by Springer Berlin Heidelberg ISBN: 978-3-540-67959-2 DOI: 10.1007/3-540-44518-8Table of Contents:Abstract State Machines at the Cusp of the Millenium Abstract State Machines and Pure Mathematics Abstract State Machines and Computationally Complete Query Languages On Verification of Refinements of Timed Distributed Algorithms Objects + Views = Components? XASM- An Extensible, Component-Based Abstract State Machines Language Generic Facilities in Object-Oriented ASMs Towards an ASM Thesis for Unconventional Algorithms Partially Ordered Runs: A Case Study Investigating Java Concurrency Using Abstract State Machines Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations An ASM Dynamic Semantics for Standard ML Modeling the Dynamics of UML State Machines On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine Description and Simulation of Microprocessor Instruction Sets Using ASMs Symbolic Analysis of Transition Systems? Encoding Abstract State Machines in PVS Model Checking Abstract State Machines and Beyond Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study Report on a Practical Application of ASMs in Software Design, Includes bibliographical references and index