Simulation and Bisimulation over One-Counter Processes

Petr Jancar, AntonĂ­n Kucera, Faron Moller. Simulation and Bisimulation over One-Counter Processes. In Horst Reichel, Sophie Tison, editors, STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings. Volume 1770 of Lecture Notes in Computer Science, pages 334-345, Springer, 2000. [doi]

Abstract

Abstract is missing.