Formal prototyping in early stages of protocol design.

Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr

Browse the full POPL paper archive.