Synthesis rules for cyclic interactions among processes in concurrent systems.

C. V. Ramamoorthy, Yuh Yaw, Wei-Tek Tsai

Browse the full COMPSAC paper archive.