This is Mark Bickford's formal library about the Event Systems developed by him and Robert Constable.
This theory was originally explained in the Tech Report A Logic of Events (Bickford and Constable, 2003).
A more up-to-date partial explanation (to be expanded) of the basics is
Excerpt from Event Systems Article.
This is presented as a PDF file that links directly into the
Web pages for the
underlying formal material when viewed with a properly enabled browser.
| mb event system 7 | |
| mb event system 6 | |
| mb event system 5 | |
| mb event system 4 | |
| mb event system 3 | |
| mb event system 2 | |
| mb event system 1 |