Christos Nicolas Nikolaou
-
A methodology for verifying request processing protocols
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols