Towards a Refinement Calculus for Concurrent Real-Time Programs.

Sibylle Peuker, Ian J. Hayes

Browse the full ICFEM paper archive.