11 citations · 33 across the 10 of their papers we have counts for
1 paper · 1 filter
Jiří Srba
We study (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basic Process Algebra) and visibly one-…