Alain Girault
Visiting Scholar
Dept. of Electrical Engineering and Computer Science
UC Berkeley
November 21, 1996
Hogan Room, 531 Cory Hall
4:00-5:00 p.m.
I will first define reactive systems, and state what makes their programming hard. Then I will present the synchrony hypothesis and its consequences. I will then present the following synchronous languages: