5 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Ankush Das, Jan Hoffmann, Frank Pfenning
We study the problem of parametric parallel complexity analysis of concurrent, message-passing programs. To make the analysis local and compositional, it is based on a conservative…