Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori. Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol. Systems and Computers in Japan, 20(5):57-68, 1989. [doi]
Abstract is missing.