Algebraic Specification of Communication Protocols |
|
Editor:
| Mauw, S. Veltink, G. J. |
Series title: | Cambridge Tracts in Theoretical Computer Science Ser. |
ISBN: | 978-0-511-88103-9 |
Publication Date: | Mar 2011 |
Publisher: | Cambridge University Press
|
Book Format: | Ebook |
List Price: | Contact Supplier contact
|
Book Description:
|
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols.