marina@ai.toronto.edu (Marina Haloulos) (09/22/89)
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.marina@ai.toronto.edu (Marina Haloulos) (09/22/89)
ACTIVITIES FOR THE WEEK COMMENCING OCTOBER 2
(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.