Christos Nikolaou, Edmund M. Clarke, Nissim Francez, Stephen A. Schuman. A methodology for verifying request processing protocols. In David C. Wood, Simon S. Lam, editors, Proceedings of the symposium on Communications Architectures & Protocols, SIGCOMM 1983, Austin, Texas, USA, March 8-9, 1983. pages 76-83, ACM, 1983. [doi]
Abstract is missing.