Algebraic Techniques for Timed Systems.

Albert Benveniste, Claude Jard, Stephane Gaubert

Browse the full CONCUR paper archive.