KnowledgeBase » 
SEMINAR
» ID = 734
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.