Promptness and Bounded Fairness in Concurrent and Parameterized Systems.

Swen Jacobs, Mouhammad Sakr, Martin Zimmermann

Browse the full VMCAI paper archive.