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