×
Loading...

Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings by ASM 2004 (2004 : Wittenberg, Saxony-Anha...

Book Information

TitleAbstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
CreatorASM 2004 (2004 : Wittenberg, Saxony-Anhalt, Germany), Zimmermann, Wolf, Thalheim, B. (Bernhard), 1952-
Year2004
PPI300
PublisherBerlin ; New York : Springer
LanguageEnglish
Mediatypetexts
SubjectMachine theory, Abstracte machines, Machine abstraite, Théorie des automates, Automates mathématiques, Théorie des, Abstrakte Zustandsmaschine, Formale Spezifikationstechnik, Model Checking, Nebenläufigkeit, UML, Verifikation, Model Checking, Nebenläufigkeit, UML, Verifikation, Abstrakte Zustandsmaschine, Formale Spezifikationstechnik, Model Checking, Nebenläufigkeit, UML, Verifikation
ISBN3540220941, 9783540220947
Collectionjournals_contributions, journals
Uploadersketch
Identifierspringer_10.1007-b98118
Telegram icon Share on Telegram
Download Now

Description

Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. ProceedingsAuthor: Wolf Zimmermann, Bernhard Thalhei Published by Springer Berlin Heidelberg ISBN: 978-3-540-22094-7 DOI: 10.1007/b98118Table of Contents: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 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, Includes bibliographical references and index