30 citations · 152 across the 17 of their papers we have counts for
1 paper · 1 filter
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…