26 citations · 74 across the 12 of their papers we have counts for
1 paper · 1 filter
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequenti…