Keywords :
Delay of graphs, finite automata theory, graph theory, nondeterministic finite automata, sequential Boolean equations.; Automata; Computer science; Computerized monitoring; Delay; Equations; Graph theory; Upper bound; Delay of graphs, finite automata theory, graph theory, nondeterministic finite automata, sequential Boolean equations.;