Constrained Dynamic Tree Networks

  title={Constrained Dynamic Tree Networks},
  author={Matthew Hague and Vincent Penelle},
We generalise Constrained Dynamic Pushdown Networks, introduced by Bouajjani et al., to Constrained Dynamic Tree Networks. In this model, we have trees of processes which may monitor their children. We allow the processes to be defined by any computation model for which the alternating reachability problem is decidable. We address the problem of symbolic reachability analysis for this model. More precisely, we consider the problem of computing an effective representation of their reachability… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…