Cyclic Communicating Processes: Hierarchy and Verification.

P. S. Thiagarajan Cyclic Communicating Processes: Hierarchy and Verification. 4 2003 conf/acsd/2003 ACSD http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870004.pdf db/conf/acsd/acsd2003.html#Thiagarajan03