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.