Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi. Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization. In DAC. pages 762-767, 2000. [doi]
Abstract is missing.