TIC: A Timed Calculus for LOTOS.

Juan Quemada, Arturo Azcorra, David de Frutos-Escrig

Browse the full FORTE paper archive.