Timed Bisimulation and Open Maps.

Thomas Hune, Mogens Nielsen

Browse the full MFCS paper archive.