19 citations · 20 across the 6 of their papers we have counts for
1 paper · 1 filter
Adrien Pommellet, Tayssir Touili
We present in this paper a generic framework for the analysis of multi-threaded programs with recursive procedure calls, synchronisation by rendez-vous between parallel threads, an…