Newtonian arbiters cannot be proven correct

Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic

Formal Methods in System Design

A Fast, asP*, RGD Arbiter

ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems

Real-Time Merging

ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems

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

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

Proving Newtonian arbiters Correct, almost surely

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

Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip

Journal of Computer and System Sciences