Dept. of Electrical Engineering and Computer Science
October 10, 1996
Hogan Room, 531 Cory Hall
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.