indiana university

computer science department

technical report no. 375

Toward a Basis for Protocol Specification

and Process Decomposition

Kamlesh Rath and Steven D. Johnson

june 1993

To appear in the proceedings of the 1993 IFIP Conference on Hardware Description Languages and their Applications (CHDL '93 ), Ottawa, Canada, April, 1993, Elsevier.