Skip to content

Abstract State Machines Theory and Applications - International Workshop, ASM 2000 Monte Verita, Switzerland, March 2000 - Proceedings

Spend $50 to get a free movie!

ISBN-10: 3540679596

ISBN-13: 9783540679592

Edition: 2000

Authors: Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele, G. Goos

List price: $54.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000.The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines.
Customers also bought

Book details

List price: $54.99
Copyright year: 2000
Publisher: Springer Berlin / Heidelberg
Publication date: 8/23/2000
Binding: Paperback
Pages: 386
Size: 6.10" wide x 9.25" long x 0.75" tall
Weight: 1.320
Language: English

Abstract State Machines at the Cusp of the Millennium
Mathematical Foundations
Abstract State Machines and Pure Mathematics
Abstract State Machines and Computationally Complete Query Languages
On Verification of Refinements of Timed Distributed Algorithms
Abstract State Machine Languages
Objects + Views = Components?
Xasm - An Extensible, Component-Based ASM Language
Generic Facilities in Object-Oriented ASMs
Distribution and Concurrency
Towards an ASM Thesis for Unconventional Algorithms
Partially Ordered Runs: A Case Study
Investigating Java Concurrency Using Abstract State Machines
Compilers and Semantics
Verifying Compilers and ASMs
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
Automatic Verification and Model Checking
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
Industrial Applications
Report on a Practical Application of ASMs in Software Design
Using Abstract State Machines at Microsoft: A Case Study
Author Index