Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.

Swen Jacobs, Mouhammad Sakr

Browse the full VMCAI paper archive.