Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/18/84; site watmath.UUCP Path: utzoo!watmath!mwang From: mwang@watmath.UUCP (mwang) Newsgroups: ont.events Subject: UW Colloq. Semi., Prof. Yoeli on "Behavioral Specifications ...". Message-ID: <206@watmath.UUCP> Date: Thu, 21-Nov-85 13:11:09 EST Article-I.D.: watmath.206 Posted: Thu Nov 21 13:11:09 1985 Date-Received: Sat, 23-Nov-85 00:14:33 EST Expires: Thu, 28-Nov-85 00:00:00 EST Organization: U of Waterloo, Ontario Lines: 38 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.