Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540220947, 9783540247739

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_2 ◽

2004 ◽

pp. 6-19 ◽

Author(s):

Hans-Michael Hanisch

Keyword(s):

Control Systems ◽

Closed Loop ◽

Loop Modeling ◽

Embedded Control ◽

Embedded Control Systems

Download Full-text

Observations on the Decidability of Transitions

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_12 ◽

2004 ◽

pp. 161-168

Author(s):

Yuri Gurevich ◽

Rostislav Yavorskiy

Download Full-text

Specification and Implementation Problems for C#

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_10 ◽

2004 ◽

pp. 127-143 ◽

Author(s):

Nicu G. Fruja

Keyword(s):

Implementation Problems ◽

Specification And Implementation

Download Full-text

Monodic ASMs and Temporal Verification

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_8 ◽

2004 ◽

pp. 95-110 ◽

Author(s):

Michael Fisher ◽

Alexei Lisitsa

Download Full-text

An ASM Specification of C# Threads and the .NET Memory Model

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_4 ◽

2004 ◽

pp. 38-60 ◽

Author(s):

Robert F. Stärk ◽

Egon Börger

Keyword(s):

Download Full-text

Finite Cursor Machines in Database Query Processing

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_5 ◽

2004 ◽

pp. 61-61 ◽

Author(s):

Jan Van den Bussche

Keyword(s):

Query Processing ◽

Database Query ◽

Database Query Processing

Download Full-text

Specification and Validation of the Business Process Execution Language for Web Services

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_7 ◽

2004 ◽

pp. 78-94 ◽

Author(s):

Roozbeh Farahbod ◽

Uwe Glässer ◽

Mona Vajihollahi

Keyword(s):

Web Services ◽

Business Process ◽

Business Process Execution Language ◽

Process Execution ◽

Business Process Execution

Download Full-text

An ALGOL-View on Turbo ASM

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_3 ◽

2004 ◽

pp. 20-37 ◽

Author(s):

Hans Langmaack

Download Full-text

Slicing Abstract State Machines

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_14 ◽

2004 ◽

pp. 186-201 ◽

Author(s):

Antje Nowack

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Intra-step Interaction

Lecture Notes in Computer Science - Abstract State Machines 2004. Advances in Theory and Practice ◽

10.1007/978-3-540-24773-9_1 ◽

2004 ◽

pp. 1-5

Author(s):

Yuri Gurevich

Download Full-text