Automated synthesis of protocol specifications with message collisions and verification of timeliness.

Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno

Browse the full ICNP paper archive.