Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerla | Gurevich, Yuri
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerla
Author: Gurevich, Yuri
Added by: sketch
Added Date: 2015-12-30
Publication Date: 2000
Language: eng
Subjects: Machine theory
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540679596
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 159.13 MB
PDF Size: 4.8 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 702
Views: 752
Total Files: 18
Media Type: texts
Description
Author: Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67959-2
DOI: 10.1007/3-540-44518-8
Table of Contents:
- Abstract State Machines at the Cusp of the Millenium
- Abstract State Machines and Pure Mathematics
- Abstract State Machines and Computationally Complete Query Languages
- On Verification of Refinements of Timed Distributed Algorithms
- Objects + Views = Components?
- XASM- An Extensible, Component-Based Abstract State Machines Language
- Generic Facilities in Object-Oriented ASMs
- Towards an ASM Thesis for Unconventional Algorithms
- Partially Ordered Runs: A Case Study
- Investigating Java Concurrency Using Abstract State Machines
- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations
- 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 Using ASMs
- 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
- Report on a Practical Application of ASMs in Software Design
Includes bibliographical references and index