8 citations · 11 across the 3 of their papers we have counts for
1 paper · 1 filter
É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…