7 citations · 16 across the 10 of their papers we have counts for
1 paper · 1 filter
Fu Song, Tayssir Touili
A Dynamic Pushdown Network (DPN) is a set of pushdown systems (PDSs) where each process can dynamically create new instances of PDSs. DPNs are a natural model of multi-threaded pro…