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
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