Simulation and Bisimulation over One-Counter Processes

  title={Simulation and Bisimulation over One-Counter Processes},
  author={Petr Jancar and Anton{\'i}n Kucera and Faron Moller},
We show an effective construction of (a periodicity descrip tion of) the maximal simulation relation for a given one-counter net. Th en we demonstrate how to reducesimulationproblems over one-counter nets to analogous bisimulation problems over one-counter automata. We use this to demonstr ate the decidability of various problems, specifically testing regulari ty and strong regularity of one-counter nets with respect to simulation equivalence, a nd testing simulation equivalence between a one… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…