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.

Authors

• Anca Muscholl
• Sven Schewe

Keywords

• Control and games
• Zielonka automata
• Loosely cooperating processes