DMCA

ABSTRACT Cyclic Communicating Processes: Hierarchy and Verification We advocate Cyclic Communicating Processes (CCPs)

by P. S. Thiagarajan