25 citations · 124 across the 16 of their papers we have counts for
3 papers · 1 filter
Fair Mutual Exclusion for N Processes (extended version)
Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote
Peterson's mutual exclusion algorithm for two processes has been generalized to processes in various ways. As far as we know, no such generalization is starvation free without…
Tutorial: Designing Distributed Software in mCRL2
Jan Friso Groote, Jeroen J. A. Keiren
Distributed software is very tricky to implement correctly as some errors only occur in peculiar situations. For such errors testing is not effective. Mathematically proving correc…
Deadlock in packet switching networks
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema
A deadlock in a packet switching network is a state in which one or more messages have not yet reached their target, yet cannot progress any further. We formalize three different n…