Abstract State Machines 2004. Advances in Theory and Practice (eBook, PDF)

11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Redaktion: Zimmermann, Wolf; Thalheim, Bernhard

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 240
• Erscheinungstermin: 27. April 2004
• Englisch
• ISBN-13: 9783540247739
• Artikelnr.: 53382402

Autorenporträt

Wolf Zimmermann, Martin-Luther-University Halle-Wittenberg, Halle/Saale, Germany / Bernhard Thalheim, Christian-Albrechts-University of Kiel, Germany

Inhaltsangabe

Invited Papers.
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.
Research Papers.
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.