On the Reachability Analysis of Acyclic Networks of Pushdown Systems.

Mohamed Faouzi Atig Ahmed Bouajjani Tayssir Touili

Published in: CONCUR (2008)

Keyphrases

reachability analysis
complex systems
model checking
management system
telecommunication networks
neural network
artificial intelligence
decision makers
distributed systems
network structure
database schemes