Login / Signup
Decidability of Bisimilarity for One-Counter Processes.
Petr Jancar
Published in:
Inf. Comput. (2000)
Keyphrases
</>
description logics
query answering
databases
image processing
search algorithm
process model