Abstract state machines 2004. Advances in theory and practice. 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24--28, 2004. Proceedings. (Q1889718)

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1015.00032). Indexed articles: \textit{Gurevich, Yuri}, Intra-step interaction, 1-5 [Zbl 1188.68133] \textit{Langmaack, Hans}, An ALGOL-view on turbo ASM, 20-37 [Zbl 1188.68136] \textit{Stärk, Robert F.; Börger, Egon}, An ASM specification of C\# threads and the .NET memory model, 38-60 [Zbl 1188.68102] \textit{Fisher, Michael; Lisitsa, Alexei}, Monodic ASMs and temporal verification, 95-110 [Zbl 1188.68187] \textit{Fruja, Nicu G.}, Specification and implementation problems for C\#, 127-143 [Zbl 1188.68100] \textit{Glesner, Sabine}, An ASM semantics for SSA intermediate representations, 144-160 [Zbl 1188.68178] \textit{Gurevich, Yuri; Yavorskiy, Rostislav}, Observations on the decidability of transitions, 161-168 [Zbl 1188.68134] \textit{Nanchen, Stanislas; Stärk, Robert F.}, A security logic for abstract state machines, 169-185 [Zbl 1188.68137] \textit{Nowack, Antje}, Slicing abstract state machines, 186-201 [Zbl 1188.68138] \textit{Rosenzweig, Dean; Runje, Davor}, The cryptographic abstract machine, 202-217 [Zbl 1188.68139] \textit{Rust, Heinrich}, Modeling discretely timed systems using different magnitudes of non-standard reals, 218-233 [Zbl 1188.94054]