ECS 251, Operating Systems
Winter Quarter, 2000
Department of Computer Science, UC Davis
A survey of formal models for the study of operating systems.
Modeling of parallel processes and their synchronization in terms of partial
orderings and procedure relations.
Deterministic and probabilistic models for the evaluation
of system performance.
This contains the index to all handouts and notes
for ECS 251, Winter Quarter 2000.
Send email to
Department of Computer Science
University of California at Davis
Davis, CA 95616-8562
Page last modified on 3/7/2000