TY - BOOK AU - Mauw S Ed AU - Veltink G J Ed TI - Algebraic specification of communication protocols T2 - Cambridge tracts in theoretical computer science; 36 SN - 0521418836 (hbd) U1 - D65,8(B):71, N3 PY - 1993/// CY - Cambridge PB - Cambridge University Press KW - Data Communication Networks KW - Interfacing Communications KW - Computer science N1 - Bibliographical references 189-192p; Indexes 193-197p ER -