Event-Clock Visibly Pushdown Automata.

Nguyen Van Tang, Mizuhito Ogawa

Browse the full SOFSEM paper archive.