Akio Nakata, Teruo Higashino, Kenichi Taniguchi. Protocol Synthesis from Context-Free Processes Using Event Structures. In 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA 98), 27-29 October 1998, Hiroshima, Japan. pages 173-180, IEEE Computer Society, 1998. [doi]
Abstract is missing.