Protocol Machines: A Concise Formal Model and its Automatic Implementation.

Mohamed G. Gouda, Eric G. Manning

Browse the full ICCC paper archive.