Abstract State Machines 2004. Advances in Theory and Practice - Couverture souple

Couverture souple

ISBN 10 : 3662189216 ISBN 13 : 9783662189214

Editeur : Springer, 2014

Synopsis

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 3662189216
• ISBN 13: 9783662189214
• Reliure: Broché
• Nombre de pages: 252
• Éditeur: Zimmermann Wolf, Thalheim Bernhard
• Coordonnées du fabricant: KINESIS; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Allemagne