[ont.events] UW Colloq. Semi., Prof. Yoeli on "Behavioral Specifications ...".

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.