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]
Abstract is missing.