| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 433721 | Theoretical Computer Science | 2016 | 6 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Anca Muscholl, Sven Schewe,