Skip to main content
PRL Project

An Introduction to Event Systems

by Robert L. Constable

This talk will present the notion of an event system and a logic of events. I will present Mark Bickford's six simple axioms and discuss their equivalence to the full axomatization. Then I will illustrate the use of the logic of events in specifying a simple protocol and deriving a distributed system that realizes the specified behavior.

This talk will be a gentle introduction to the methods and concepts that Mark will illustrate next week on leader election protocols.