Once a year
Analytical models of operating systems. An examination of the major models that
have been used to study operating systems and the computer systems which they
manage. Petri nets, dataflow diagrams and other models of parallel behavior are
studied. Introduction to the fundamentals of queuing theory.