News17.03.2017 Talk Prof. Michael Mendler, Otto-Friedrich-University of Bamberg
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, Lustre, has made the programming of concurrent systems with deterministic and bounded reaction […]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, Lustre, has made the programming of concurrent systems with deterministic and bounded reaction […]
