Protocol Synthesis from Context-Free Processes Using Event Structures

• Authors:

• A. Nakata;T. Higashino;K. Taniguchi

• Affiliations:

• -;-;-

• Venue:
• RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications
• Year:
• 1998