ComputingScienceColloquium Date: July 1 Time: 11:00 Room: CGN room C004 ----+++ Speaker: [[http://www.cs.uu.nl/~wishnu][Wishnu Prasetya]] ----+++ Title: [[http://www.cs.uu.nl/groups/ST/Stc/Seuss-wayOfMulti-programming][Seuss-way of Multi-programming]] ----+++ Abstract 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.