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

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