ASM 2000: Monte Verità, Switzerland

Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (Eds.): Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings. Lecture Notes in Computer Science 1912 Springer 2000, ISBN 3-540-67959-6

Introduction

Andreas Blass:
Abstract State Machines and Pure Mathematics. 9-21
Andreas Blass, Yuri Gurevich, Jan Van den Bussche:
Abstract State Machines and Computationally Complete Query Languages. 22-33
Joëlle Cohen, Anatol Slissenko:
On Verification of Refinements of Timed Distributed Algorithms. 34-49

Wolfgang Reisig:
Towards an ASM Thesis for Unconventional Algorithms. 112-130
Yuri Gurevich, Dean Rosenzweig:
Partially Ordered Runs: A Case Study. 131-150
Yuri Gurevich, Wolfram Schulte, Charles Wallace:
Investigating Java Concurrency Using Abstract State Machines. 151-176

Gerhard Goos, Wolf Zimmermann:
Verifying Compilers and ASMs. 177-202
Steven C. Cater, James K. Huggins:
An ASM Dynamic Semantics for Standard ML. 203-222
Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
Modeling the Dynamics of UML State Machines. 223-241
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. 242-265
Jürgen Teich, Philipp W. Kutter, Ralph Weper:
Description and Simulation of Microprocessor Instruction Sets Using ASMs. 266-286

Natarajan Shankar:
Symbolic Analysis of Transition Systems. 287-302
Angelo Gargantini, Elvinia Riccobene:
Encoding Abstract State Machines in PVS. 303-322
Marc Spielmann:
Model Checking Abstract State Machines and Beyond. 323-340
Kirsten Winter:
Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study. 341-360

Egon Börger, Peter Päppinghaus, Joachim Schmid:
Report on a Practical Application of ASMs in Software Design. 361-366
Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Using Abstract State Machines at Microsoft: A Case Study. 367-379

Last update Wed May 22 19:54:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page