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.