Skip to main content
PRL Project

Synthesizing Protocols using the Logic of Events and EventML

by Robert L. Constable, Mark Bickford
2014

Abstract
Bob and Mark will talk at a high level about the way a logic of
events is expressed in type theory and in EventML, an executable
specification language for writing correct by construction distributed
protocols.