Jacek Wytrebowicz
-
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization
Proceedings of the 37th Annual Design Automation Conference
Improving the efficiency of automated protocol implementation using Estelle
Computer Communications