Abstract state machines 2004 : ; proceedings advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
3052 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Abstract state machines 2004, advances in theory and practice, 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004, Wolf Zimmermann, Bernhard Thalheim (eds.), Berlin, Springer, 2004, 1 vol. (XII-233 p.), Lecture notes in computer science, 3-540-22094-1 • Abstract State Machines 2004. Advances in Theory and Practice, Texte imprimé, 9783662189214 |
Taula de continguts:
- 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.