Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol

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

Abstract is missing.