328 citations · 332 across the 3 of their papers we have counts for
1 paper · 1 filter
Jérôme Feret
In this paper, we show how thread partitioning helps in proving properties of mobile systems. Thread partitioning consists in gathering the threads of a mobile system into several…