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.