Processes with 'incomplete' sensitivity lists and their synthesis aspects | IEEE Conference Publication | IEEE Xplore