Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / [electronic resource] :
edited by Wolf Zimmermann, Bernhard Thalheim.
- 1st ed. 2004.
- XII, 240 p. online resource.
- Lecture Notes in Computer Science, 3052 1611-3349 ; .
- Lecture Notes in Computer Science, 3052 .
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.
9783540247739
10.1007/b98118 doi
Computer science.
Mathematical logic.
Software engineering.
Machine theory.
Compilers (Computer programs).
Computer Science Logic and Foundations of Programming.
Mathematical Logic and Foundations.
Theory of Computation.
Software Engineering.
Formal Languages and Automata Theory.
Compilers and Interpreters.
QA75.5-76.95
004.0151
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.
9783540247739
10.1007/b98118 doi
Computer science.
Mathematical logic.
Software engineering.
Machine theory.
Compilers (Computer programs).
Computer Science Logic and Foundations of Programming.
Mathematical Logic and Foundations.
Theory of Computation.
Software Engineering.
Formal Languages and Automata Theory.
Compilers and Interpreters.
QA75.5-76.95
004.0151