Design and Validation of Computer Protocols, Paperback

Design and Validation of Computer Protocols Paperback


Designed to be more than just a guide to protocol standards, codes and formats, this text offers a systematic approach for designing complete and consistent protocol systems with the power to govern the interactions of concurrent processes in distributed systems.

Specifically intended as a guide to protocol design and analysis, the text familiarizes readers with all the issues of protocol design including general and specific techniques for process co-ordination.


  • Format: Paperback
  • Pages: 512 pages
  • Publisher: Pearson Education (US)
  • Publication Date:
  • Category: Operating systems
  • ISBN: 9780135399255



Free Home Delivery

on all orders

Pick up orders

from local bookshops

Also by Gerard J. Holzmann