Synthesis rules for cyclic interactions among processes in concurrent systems | IEEE Conference Publication | IEEE Xplore