computer science department
technical report no. 375
Toward a Basis for Protocol Specification
and Process Decomposition
Kamlesh Rath and Steven D. Johnson
To appear in the proceedings of the 1993 IFIP Conference on Hardware Description Languages and their Applications (CHDL '93 ), Ottawa, Canada, April, 1993, Elsevier.