A Calculus of Timed Refinement

A Calculus of Timed Refinement

Karlis Cerans

In 6th NWPT, pages 127-141


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

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

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page