What Is Formal Protocol Theory
Venkatesh Rao introduces SIGFPT (Special Interest Group in Formal Protocol Theory), a working group meeting biweekly to develop rigorous mathematical and logical foundations for protocol studies. The group aims to formalize protocol analysis—moving from intuitive understanding of everyday protocols like handshakes to formal descriptions that mathematicians and logicians can rigorously examine.
Venkatesh Rao