We concern ourselves with the question which visibly pushdown languages ...
Parametric timed automata (PTA) are an extension of timed automata in wh...
We show that in case a pushdown system is bisimulation equivalent to a f...
A pattern is encountered in a word if some infix of the word is the imag...
In this paper the computational complexity of the (bi)simulation problem...