A Predicative Semantics for the Refinement of Real-Time Systems.

David Scholefield, Hussein S. M. Zedan, Jifeng He

Browse the full MFPS paper archive.