A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuits | IEEE Conference Publication | IEEE Xplore