12 citations · 51 across the 20 of their papers we have counts for
1 paper · 1 filter
Matthew Hague
We consider the master/slave parameterised reachability problem for networks of pushdown systems, where communication is via a global store using only non-atomic reads and writes.…