PRL Seminars
An Introduction to Event Systems
Abstract
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.
|