wlrush@water.waterloo.edu (Wenchantress Wench Wendall) (05/25/89)
DEPARTMENT OF COMPUTER SCIENCE
UNIVERSITY OF WATERLOO
SEMINAR ACTIVITIES
THEORY SEMINAR REVISED
-May 26, 1989
Dr. Robert Cori, University of Bordeaux, France, will
speak on "Partially abelian square free words."
TIME: 11:30 a.m.
ROOM: DC 1304
ABSTRACT
Bounded time stamps and asynchronous automata. Time
stamps are usually used to order the events occuring in
a distributed system. Generally these time stamps are
given by counters that is unbounded information. Recent
research in this area led to the definition and
construction of bounded time-stamps. The
resultsobtained are by graph theoretic arguments, they
are also of great interest in the field of asynchronous
automata. This kind of automata is introduced as a
family of recognizers in partially commutative monoids,
and a deep result is Zielonka theorem, which precise
the relationship between rational and recognizable
subsets of these monoids.