25 citations · 59 across the 17 of their papers we have counts for
1 paper · 1 filter
Ornela Dardha, Jorge A. Pérez
Message-passing software systems exhibit non-trivial forms of concurrency and distribution; they are expected to follow intended protocols among communicating services, but also to…