Stenning's Protocol Implemented in UDP and Verified in Isabelle.

Michael Compton Stenning's Protocol Implemented in UDP and Verified in Isabelle. 21-30 2005 conf/cats/2005 CATS http://crpit.com/confpapers/CRPITV41Compton.pdf db/conf/cats/cats2005.html#Compton05