An algebraic model for asynchronous circuits veri cation (1988)

by Christian Berthet, Eduard Cerny
Venue:IEEE Transactions On Computers