60 citations · 231 across the 28 of their papers we have counts for
1 paper · 1 filter
Roly Perera, Deepak Garg, James Cheney
We offer a lattice-theoretic account of dynamic slicing for π-calculus, building on prior work in the sequential setting. For any run of a concurrent program, we exhibit a Galois c…