A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits

Abstraction and Refinement in Higher Order Logic

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics

Extracting Exact Time Bounds from Logical Proofs

LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation

Ternary simulation: refinement of binary functions or abstraction of real-time behaviour?

DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits

Asynchronous Logic Circuits and Sheaf Obstructions

Electronic Notes in Theoretical Computer Science (ENTCS)