F. A. Stomp

• Design and verificationof distributed network algorithms