A Calculus of Timed Refinement

Karlis Cerans

In 6th NWPT, pages 127-141

Abstract:

This paper presents CTR - a process algebraic framework for loose specification of time quantity sensitive operational behaviour of reactive systems.

Comments
Institute of Mathematics and Computer Science, University of Latvia, Rainis blvd. 29, Riga, Latvia. Email: karlis@mii.lu.lv.

Available as PostScript, DVI.

BRICS WWW home page