Son T. Vuong, Donald D. Cowan. Reachability analysis of protocols with FIFO channels. 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 49-57, ACM, 1983. [doi]
Abstract is missing.