33 citations · 116 across the 22 of their papers we have counts for
1 paper · 2 filters
Laura Bozzelli, Aniello Murano, Adriano Peron
In this paper we introduce and study Event-Clock Nested Automata (ECNA), a formalism that combines Event Clock Automata (ECA) and Visibly Pushdown Automata (VPA). ECNA allow to exp…