Tech notes by Michael Winston Dales

  • Home
  • Blog
  • Projects
  • Papers
  • Talks
  • Weeknotes
  • Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL 29 Mar 2006