As part of the seminar SFB/TRR89 InvasIC, Prof. Mendler gave the talk "Game-theoretic Semantics of Synchronous Reactions".
Abstract:
The synchronous model of programming, which emerged in the 1980ies and has led to the development of well-known languages such as Statecharts, Esterel, Signal, L...