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.