Simulation and Bisimulation over One-Counter Processes.

Petr Jancar Antonín Kucera Faron Moller

Published in: STACS (2000)

Keyphrases

simulation model
simulation environment
electro mechanical systems
database
search engine
process model
computational models
machine learning
decision trees
digital libraries
mathematical models