From Process-Oriented Functional Specifications to Efficient Asynchronous Circuits | IEEE Conference Publication | IEEE Xplore