Compositional design of asynchronous circuits from behavioural concepts | IEEE Conference Publication | IEEE Xplore