The formal semantics of SDL-2000: Status and perspectives

Uwe Glässer, Reinhard Gotzhein, Andreas Prinz. The formal semantics of SDL-2000: Status and perspectives. Computer Networks, 42(3):343-358, 2003. [doi]

Abstract

Abstract is missing.