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

Swen Jacobs, Mouhammad Sakr (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics