mwang@watmath.UUCP (mwang) (11/21/85)
DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF WATERLOO SEMINAR ACTIVITIES COMPUTER SCIENCE COLLOQUIUM - Wednesday, November 27, 1985. Professor Michael Yoeli a visitor of this department will speak on ``Behavioral Specifications of Asynchro- nous Networks''. TIME: 3:30 PM ROOM: MC 5158 ABSTRACT The input-output behavior of a digital, asynchronous network can be specified in many ways. Most approaches, such as CCS, trace theory, and temporal logic, replace ``true concurrency'' by interleaving. On the other hand, Petri-net based approaches provide means to properly capture the distinction between true concurrency and interleaving. This feature also facil- itates the modeling of communicating sequential processes. We illustrate these ideas by introducing ``communicat- ing marked graphs'' as a mathematical tool for specify- ing the behavior of asynchronous, deterministic net- works, particularly components of self-timed systems and communication protocols. We indicate how this theory can be extended to also cover nondeterministic behavior. Refreshments will be served at 3:00 PM.