Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions. - Ichiro Suzuki; Y. Motohashi; Kenichi Taniguchi; Tadao Kasami; Tatsuaki Okamoto (Theor. Comput. Sci., 1986)