Small Examples

A number of small examples are treated in this chapter. The goal is to show that typical multiprogramming examples from the literature have succinct representations in Seuss. Additionally, the small number of features of Seuss is adequate for solving many well-known problems: communications over bounded and unbounded channels, maintaining a database, implementing a caching strategy, mutual exclusions and synchronizations, and resource allocation. We show a number of variations of some of these examples, implementing different progress guarantees, for instance.