Seuss is a language due to J. Misra to program distributed applications.
It is a small language when compared to popular languages like Java,
but it contains all that you need. In fact, Seuss is kept deliberately
small to give the programmers higher degree of abstraction of the underlying
concurrency, which in turn will make reasoning about distributed applications
easier. As an example I will show a formal derivation of the well known
dining philosopher program. I will also show how this text-book toy example
can be instantiated to a real application.