[an error occurred while processing this directive] [an error occurred while processing this directive]

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.)
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/sdl.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT