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

Jacobs, Swen and Sakr, Mouhammad
(2018) Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.
In: Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings.
Conference: None | Not Set

[img]
Preview
Text
paper.pdf

Download (456kB) | Preview
Official URL: https://doi.org/10.1007/978-3-319-73721-8_12

Actions

Actions (login required)

View Item View Item