CURSOR: Configuration Update Synthesis Using Order Rules.

Zibin Chen, Lixin Gao

Browse the full INFOCOM paper archive.