Duration Calculus: A Real-Time Semantic for B.

Samuel Colin, Georges Mariano, Vincent Poirriez

Browse the full ICTAC paper archive.