Abstract
The authors consider coordination problems for partially synchronized processes. They prove that the decidability of the mutual exclusion problem with shared events is not solvable in polynomial time. However, they also show that there is an interesting subclass of discrete-event processes with shared events for which the mutual exclusion problem remains computationally feasible.
Original language | English (US) |
---|---|
Pages (from-to) | 234-239 |
Number of pages | 6 |
Journal | Proceedings of the IEEE Conference on Decision and Control |
State | Published - Dec 1 1988 |
All Science Journal Classification (ASJC) codes
- Chemical Health and Safety
- Control and Systems Engineering
- Safety, Risk, Reliability and Quality