On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Faouzi Atig, Ahmed Bouajjani. On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. In Olivier Bournez, Igor Potapov, editors, Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. Volume 5797 of Lecture Notes in Computer Science, pages 1-2, Springer, 2009. [doi]

This author has not been identified. Look up 'Mohamed Faouzi Atig' in GoogleThis author has not been identified. Look up 'Ahmed Bouajjani' in Google

runs on WebDSL