Moderne computernetwerken cirkelen nu rond de wereld, maar de overdracht van informatie tussen hen hangt af van de vele verschillende protocollen die het gedrag van de zender en ontvanger bepalen. Het is dus duidelijk dat een nauwkeurige beschrijving van deze protocollen belangrijk is om een harmonieuze communicatie te behouden. In dit boek gebruiken de auteurs de formele specificatietaal PSF om een eenduidige beschrijving te geven van verschillende communicatieprotocollen van verschillende niveaus van complexiteit, variërend van het alternerende bitprotocol tot het token ring-protocol. Zowel beginners als professionals op het gebied van communicatieprotocollen zullen baat hebben bij zowel de beschreven specificatiemethoden als de protocollen die in dit boek worden besproken. Taal: Engels