Dynamic Reactive Modules.

Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi

Browse the full CONCUR paper archive.