Alain Girault
Visiting Scholar
Dept. of Electrical Engineering and Computer Science
UC Berkeley
October 10, 1996
Hogan Room, 531 Cory Hall
4:00-5:00 p.m.
We briefly present the distribution process, then describe our order-automata and their properties. We use order-automata to model the distribution process and prove its correctness.
This is joint work by Benoit Caillaud, Paul Caspi, Alain Girault and Claude Jard. The presentation will be given by Alain Girault.