Title: Protocols by Invariants (Cambridge International Series on Parallel Computation)
First published: August 19, 2004
Subjects: Computer network protocols, Parallel processing (Electronic computers), Electronic data processing, Distributed processing