| Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models | 15 | 2.07 | 2001 |
| A Executable Formal Semantics for SDL-2000 | 0 | 0.34 | 2000 |
| On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine | 11 | 1.24 | 2000 |
