28 citations · 28 across the 1 of their papers we have counts for
1 paper
Simon Außerlechner, Swen Jacobs, Ayrat Khalimov
Guarded protocols were introduced in a seminal paper by Emerson and Kahlon (2000), and describe systems of processes whose transitions are enabled or disabled depending on the exis…