Transition Systems -- Module Description
A four lecture module giving an introduction to Transition
Systems is built based on the first two chapters of .
The following topics will be taken up in the lectures, though not
necessarily in chronological order:
Specifying concurrent systems
Synchrony vs. Asynchrony
Interleaving and concurrency
Course book and related reading material
 Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems.
Springer Verlag, 1991.
 K.M. Chandy and J. Misra. Parallel Program Design - A Foundation. Addison-Wesley, 1988.
 R.M. Keller. Formal Verification of Parallel Programs. Communications of the ACM,
Last Modified: 3 November 1997