Protocol Synthesis from Context-Free Processes Using Event Structures.

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Browse the full RTCSA paper archive.