Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine.

Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter

Browse the full OOPSLA paper archive.