Hisaaki Katagiri

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization

Teruo Higashino, Keiichi Yasumoto, Kenichi Taniguchi, 2000, Proceedings 37th Design Automation Conference.

Hardware implementation of Concurrent Periodic EFSM's

Teruo Higashino, Keiichi Yasumoto, Masayuki Kirimura, 2000, FORTE.