This document presents a collection of material supporting a state-oriented reference model for UNIX. The presentation describes, in part, the multi-kernel distributed UNIX system in the Department of Computer Science at Western Michigan University..
The full document is provided in pdf format: A State-Oriented Reference Model for UNIX:
An Overview(pdf)
For correspondence regarding
this document please contact:
thomas.piatkowski@wmich
.edu