Kassem Afif Saleh
Univ. of Ottawa, Canada
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering