Analysis and synthesis of concurrent digital circuits using control-flow expressions | IEEE Journals & Magazine | IEEE Xplore