Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarASM 2000: Monte Verità, Switzerland
Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele:
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
Mathematical Foundations
- 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
Distribution and Concurrency
- Yuri Gurevich, Wolfram Schulte, Charles Wallace:
Investigating Java Concurrency Using Abstract State Machines. 151-176
Compilers and Semantics
- 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
- 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
maintained by 
at 
at 
last updated on 2018-11-16 22:17 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint