Canonicalized Distributed Protocol Specs

Formal descriptions of message passing distributed protocols are complex and heterogeneous. In theory, writing a formal spec of a distributed protocol is a good way to formalize and communicate its precise behavior. In practice, though, many of these specs become quite large and challenging to digest clearly. They use different messaging formats and patterns for how information is communicated…