12 citations · 51 across the 20 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.FL2013★ 3 cited
Senescent Ground Tree Rewrite Systems
Matthew Hague
Ground Tree Rewrite Systems with State are known to have an undecidable control state reachability problem. Taking inspiration from the recent introduction of scope-bounded multi-s…
cs.FL2013★ 6 cited
Saturation of Concurrent Collapsible Pushdown Systems
Matthew Hague
Multi-stack pushdown systems are a well-studied model of concurrent computation using threads with first-order procedure calls. While, in general, reachability is undecidable, ther…