Algebraic Specification of Communication Protocols

Editeur: Cambridge University Press
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.
Sur commande
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.
ISBN / EAN 9780521088121
Editeur Cambridge University Press