dee@eecg.toronto.edu (Dee) (09/30/89)
Seminar: Department of Electrical Engineering, University of Toronto Topic: A Formal Approach to a New Delay-Insensitive Communication Protocol Speaker: Dr Jan Tijmen Udding, University of Groningen, Netherlands Date: Tuesday, Oct. 3, 1989, 3pm. Place: Room GB 244, Galbraith Building, 35 St. George Street, U of T Abstract: 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 introduction 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.