Synthesis rules for cyclic interactions among processes in concurrent systems

C. V. Ramamoorthy, Y. Yaw, W. T. Tsai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Fingerprint

Dive into the research topics of 'Synthesis rules for cyclic interactions among processes in concurrent systems'. Together they form a unique fingerprint.

Engineering & Materials Science