A model for synchronous switching circuits and its theory of correctness Chaochen ZhouC. A. R. Hoare OriginalPaper Pages: 7 - 28
Specification and automatic verification of self-timed queues David L. DillSteven M. NowickRobert F. Sproull OriginalPaper Pages: 29 - 60
Probabilistic verification of Boolean functions Jawahar JainJacob A. AbrahamDonald S. Fussell OriginalPaper Pages: 61 - 115
Asynchronous datapaths and the design of an asynchronous adder Alain J. Martin OriginalPaper Pages: 117 - 137