Tat Y. Choi, Raymond E. Miller. A decomposition method for the analysis and design of finite state protocols. In Kenneth J. Thurber, William Lidinsky, editors, SIGCOMM '83, Proceedings of the Eighth Symposium on Data Communications, North Falmouth, Massachusetts, USA, October 3-6, 1983. pages 167-176, ACM, 1983. [doi]
Abstract is missing.