Bisimilarity Is Not Finitely Based over BPA with Interrupt.

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

Published in: CALCO (2005)

Keyphrases

finite number
inductive inference
case study
data streams