Simulation and Bisimulation over One-Counter Processes

@inproceedings{Jancar2000SimulationAB,
  title={Simulation and Bisimulation over One-Counter Processes},
  author={Petr Jancar and Anton{\'i}n Kucera and Faron Moller},
  booktitle={STACS},
  year={2000}
}
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…