Synchronous programming languages for reactive systems

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:

Slides from the presentation