Controlling loosely cooperating processes
In this article, we consider the problem of controlling loosely cooperating processes. We show that this distributed control problem is EXPTIME-complete if we restrict the number of processes to two, and undecidable for three or more processes.
loosely cooperating processes control and games zielonka automata