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

Name: Abstract State Machines Theory and Applications - International Workshop, ASM 2000 Monte Verita, Switzerland, March 2000 - Proceedings
Price: 51.86 USD
Availability: InStock
ISBN: 9783540679592

ISBN-10: 3540679596

ISBN-13: 9783540679592

Edition: 2000

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

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $51.86

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

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



Introduction


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