Suhua Lei

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Well-structured pushdown systems (WSPDSs) extend pushdown systems withwell-quasi-ordered (possibly infinitely many) states and stack alphabet. As an expressive model for concurrent recursive computations, WSPDSs are believed to "be close the border of undecidability"[11]. Most of the decidability results are known only on subclasses. In this paper, we(More)
Models that combine vector addition systems and pushdown systems have attracted lots of attentions recently. They can model some concurrent recursive computations, and at the same time enjoy some decidability properties. Among these models, well-structured pushdown system (WSPDS) [1] is the most general one. It extends pushdown systems with the sets of(More)
  • 1