MPG.eBooks - Table of Contents: Abstract State Machines 2004. Advances in Theory and Practice

Read Now

Bibliographic Details
Other Authors:	Zimmermann, Wolf (Editor), Thalheim, Bernhard (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:	1st ed. 2004
Series:	Lecture Notes in Computer Science
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science Mathematical Logic Formal Languages And Automata Theory Machine Theory Theory Of Computation Mathematical Logic And Foundations
Online Access:	https://doi.org/10.1007/b98118?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Table of Contents:

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