Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Seuss-wayOfMulti-programming
Stc
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.