A Timed Semantics for SDL.

Simon Mrk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp

Browse the full FORTE paper archive.