Beyond Language Equivalence on Visibly Pushdown Automata
Work
Year: 2009
Type: article
Abstract: 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-counter automata. We... more
Author Jǐŕı Srba
Institution Aalborg University
Cites: 50
Cited by: 25
Related to: 10
FWCI: 1.203
Citation percentile (by year/subfield): 86.26
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: diamond