.sh 1 "Examples"
.pp
In this section we present two larger examples.\**
.(f
\**Additional examples are given in [Olss86].
.)f
The first, a decentralized solution to the classic dining
philosophers problem, illustrates a complete program
containing multiple resources.
The solution employs many of the SR communication primitives
and illustrates the use of the I/O primitives.
The second example outlines parts of the Saguaro
file system [Andr87a].
It illustrates the use of several additional mechanisms.
