UID:
almahu_9948621460302882
Umfang:
XII, 240 p.
,
online resource.
Ausgabe:
1st ed. 2004.
ISBN:
9783540247739
Serie:
Lecture Notes in Computer Science, 3052
Anmerkung:
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.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783662189214
Weitere Ausg.:
Printed edition: ISBN 9783540220947
Sprache:
Englisch
URL:
https://doi.org/10.1007/b98118
