Protocol Synthesis from Context-Free Processes Using Event Structures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Akio Nakata' in GoogleThis author has not been identified. Look up 'Teruo Higashino' in GoogleThis author has not been identified. Look up 'Kenichi Taniguchi' in Google

runs on WebDSL