Event Algebra
An event algebra is an algebra over the events and states of an interface.