Recursion and Co-induction in specifying protocols

We will look closely at an idea from Robbert VanRenesse for adding recursion/co-induction, as a combinator for event classes. We will explore the concept in general and use it to provide an alternative specification of Simple Consensus. We might also discuss the concept of how to obfuscate protocols using synthesis.

PRL Seminar

  • Fridays Noon-1:00PM
  • Note Room Change: Meet in Upson 215