A Graph-Based Formal Semantics of Reactive Programming from First Principles.

Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter

Browse the full FTfJP paper archive.