A Executable Formal Semantics for SDL-2000

Andreas Prinz, Robert Eschbach, Reinhard Gotzhein. A Executable Formal Semantics for SDL-2000. In Edel Sherratt, editor, SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. pages 249-261, VERIMAG, IRISA, SDL Forum, 2000.

Abstract

Abstract is missing.