Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!neat.cs.toronto.edu!marina
From: marina@ai.toronto.edu (Marina Haloulos)
Newsgroups: ont.events
Subject: Dr. Jan Tijmen Udding, Tuesday 3 October 1989: SYSTEMS SEMINAR
Message-ID: <89Sep21.142407edt.2590@neat.cs.toronto.edu>
Date: 21 Sep 89 18:24:37 GMT
Lines: 19


           Department of Computer Science, University of Toronto
             (GB = Gailbraith Building, 35 St. George Street)

       -------------------------------------------------------------

                              SYSTEMS SEMINAR
                GB244, at 3:00 p.m., Tuesday 3 October 1989

                           Dr. Jan Tijmen Udding
                  University of Groningen, (Netherlands)

   "A Formal Approach to a New Delay-Insensitive Communication Protocol"

We wish to understand the operation of a databus when no assumptions are
made about transmission delays to and from the bus.  This leads to the
introdcution of an elementary communication primitive that allows only very
limited operations.  Yet, we show that fairly complicated concurrency
problems can be solved in an elegant way.