Kobeissi, Salwa Lotfi,
(2016)
Developing correct and reliable distributed systems is challenging mainly because of the complex structures of the interactions between distributed processes. Interactions can be modeled using either low-level primitives ...