Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Luther
Author: ASM 2004 (2004 : Wittenberg, Saxony-Anhalt, Germany), Zimmermann, Wolf, Thalheim, B. (Bernhard), 1952-
Added by: sketch
Added Date: 2015-12-29
Language: eng
Subjects: Machine theory, Abstracte machines, Machine abstraite, Théorie des automates, Automates mathématiques, Théorie des, Abstrakte Zustandsmaschine, Formale Spezifikationstechnik, Model Checking, Nebenläufigkeit, UML, Verifikation, Model Checking, Nebenläufigkeit, UML, Verifikation, Abstrakte Zustandsmaschine, Formale Spezifikationstechnik, Model Checking, Nebenläufigkeit, UML, Verifikation
Publishers: Berlin ; New York : Springer
Collections: journals contributions, journals
ISBN Number: 3540220941, 9783540220947
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 126.85 MB
PDF Size: 2.55 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 421
Views: 471
Total Files: 18
Media Type: texts
Total Files: 5
Last Modified: 2023-05-26 03:18:03
Size: 8.90 KB
Description
Author: Wolf Zimmermann, Bernhard Thalhei
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22094-7
DOI: 10.1007/b98118
Table of Contents:
- Intra-step Interaction
- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering
- An ALGOL-View on Turbo ASM
- An ASM Specification of C# Threads and the .NET Memory Model
- Finite Cursor Machines in Database Query Processing
- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs
- Specification and Validation of the Business Process Execution Language for Web Services
- Monodic ASMs and Temporal Verification
- Towards an Interchange Language for ASMs
- Specification and Implementation Problems for C#
- An ASM Semantics for SSA Intermediate Representations
- Observations on the Decidability of Transitions
- A Security Logic for Abstract State Machines
- Slicing Abstract State Machines
- The Cryptographic Abstract Machine
- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals
Includes bibliographical references and index