Timed pushdown automata and branching vector addition systems.

Lorenzo Clemente Slawomir Lasota Ranko Lazic Filip Mazowiecki

Published in: LICS (2017)

Keyphrases

finite state machines
distributed systems
model checking
management system
timed automata
computer systems
complex systems
real time
multimedia
multi agent
digital libraries
control system
upper bound
building blocks
petri net