On the State Reachability Problem for Concurrent Programs Under Power - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer 0001. On the State Reachability Problem for Concurrent Programs Under Power. In Chryssis Georgiou, Rupak Majumdar, editors, Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings. Volume 12129 of Lecture Notes in Computer Science, pages 47-59, Springer, 2020. [doi]

This author has not been identified. Look up 'Parosh Aziz Abdulla' in GoogleThis author has not been identified. Look up 'Mohamed Faouzi Atig' in GoogleThis author has not been identified. Look up 'Ahmed Bouajjani' in GoogleThis author has not been identified. Look up 'Egor Derevenetc' in GoogleThis author has not been identified. Look up 'Carl Leonardsson' in GoogleThis author has not been identified. Look up 'Roland Meyer 0001' in Google

runs on WebDSL