default search action
ASM 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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: