Algorithms for synthesis of hazard-free asynchronous circuits | IEEE Conference Publication | IEEE Xplore