[an error occurred while processing this directive]
[an error occurred while processing this directive]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.) |