@inproceedings{Jeltsch2011, author = {Wolfgang Jeltsch}, title = {Push-Based FRP}, year = {2011}, }