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

@proceedings{DBLP:conf/asm/2000,
  editor    = {Yuri Gurevich and
               Philipp W. Kutter and
               Martin Odersky and
               Lothar Thiele},
  title     = {Abstract State Machines, Theory and Applications, International
               Workshop, ASM 2000, Monte Verit{\`a}, Switzerland, March 19-24,
               2000, Proceedings},
  booktitle = {Abstract State Machines},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1912},
  year      = {2000},
  isbn      = {3-540-67959-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

Egon Börger:
Abstract State Machines at the Cusp of the Millenium. 1-8

Mathematical Foundations

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

Abstract State Machine Languages

Martin Odersky:
Objects + Views = Components? 50-68
Matthias Anlauff:
XASM - An Extensible, Component-Based ASM Language. 69-90
Alexandre V. Zamulin:
Generic Facilities in Object-Oriented ASMs. 91-111

Distribution and Concurrency

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

Compilers and Semantics

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

Automatic Verification and Model Checking

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

Industrial Applications

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 Tue May 22 23:22:53 2012 CET by the DBLP Team —

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