Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

SDL-92


Citation: Uwe Glässer and René Karges, "Abstract State Machine Semantics of SDL", Journal of Universal Computer Science, vol. 3, no. 12 (1997), 1382-1414.
Summary: The semantics of SDL-92 is given in terms of a multi-agent, real-time ASM.
Subjects: Programming Languages, Real-Time Systems
Download: PostScript, PDF, Compressed PostScript
Notes: (Courtesy of Springer-Verlag.)