Decidability issues for infinite-state processes- a survey.

Søren Christensen Hans Hüttel

Published in: Bull. EATCS (1993)

Keyphrases

key issues
open issues
similarity measure
description logics
stochastic processes
practical issues
databases
genetic algorithm
natural language
process model
decision procedures