Bisimilarity is not finitely based over BPA with interrupt.

Luca Aceto Wan J. Fokkink Anna Ingólfsdóttir Sumit Nain

Published in: Theor. Comput. Sci. (2006)

Keyphrases

finite number
inductive inference
case study
training set
multi dimensional
data streams
data analysis
query processing
dynamic environments