Toward a Basis for Protocol Specification and Process Decomposition.

Kamlesh Rath Steven D. Johnson Toward a Basis for Protocol Specification and Process Decomposition. 169-186 1993 conf/chdl/1993 CHDL db/conf/chdl/chdl1993.html#RathJ93