About Time

This is a course that I taught in the Spring of 1995.
Constructive criticisms are welcome. I am still trying to put the course notes on the Web.

Syllabus

A Brief History of Time
Specification and Analysis:
Petri nets, Grafcets, Path and Flow expressions, POMsets, Discrete Event Systems, Trace Theory, Temporal Logic; 
Applications:
Asynchronous Circuits, Self-timed and Delay-independent Circuits, Operating Systems: P's and V's, Monitors, CSP, CCS, Network Protocols, Supervisory Controllers; 
Real-time Systems:
Periodic and Aperiodic Systems, Overloading, Priorities and Inversions; 
Stochastic Systems and Queuing Theory
Hybrid Systems

Recommended Textbooks

1. T.L. Dean & M.P. Wellman "Planning and Control" Morgan-Kaufmann, 1991.

2. G.E. Hughes & M.J. CressWell "An Introduction to Modal Logic" University Paperbacks (Methuen & Co Ltd), 1968.

3. R. Goldblatt "Logics of Time and Computation" Center for the Study of Language and Information, 1987.