Aktuelles17.03.2017 Gastvortrag Prof. Michael Mendler, Otto-Friedrich-Universität Bamberg
Im Rahmen unseres Seminars SFB/TRR89 InvasIC hielt Prof. Mendler den Vortrag „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 a […]Im Rahmen unseres Seminars SFB/TRR89 InvasIC hielt Prof. Mendler den Vortrag „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 a […]
