Mikołaj Bojańczyk

This one of the courses at the Lipa Summer School.

Rajeev Alur

Regular processing of data streams