8 citations · 8 across the 1 of their papers we have counts for
1 paper
Étienne Lozes, Jules Villard
Most of the existing verification techniques for message-passing programs suppose either that channel endpoints are used in a linear fashion, where at most one thread may send or r…