Login / Signup

On the State Reachability Problem for Concurrent Programs Under Power.

Parosh Aziz AbdullaMohamed Faouzi AtigAhmed BouajjaniEgor DerevenetcCarl LeonardssonRoland Meyer
Published in: NETYS (2020)
Keyphrases
  • concurrent programs
  • state space
  • power consumption
  • computer systems