00609nam a2200205 a 450000500170000002000150001708200200003210000130005224500510006526000250011630000220014149000530016369000220021669000280023870000180026696400190028499700180030399900170032195200650033820251203091748.0  a0521418836  a004.62,bD, Mau  aMauw, S.  aAlgebraic specification of communica-protocols  aCambridgebCUPc1993  axi, 197p.c24 cm.  aCambridge tracts in theoretical computer science  aComputer networks  aCommunication protocols  aVeltink, G.J.  bEngcdefg_  a79282 LIBSC C  c51785d51785  00104070aPUbPUd1998-04-08l0o004.62, D, Maup79282yBK