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 1988 |
Event | Proceedings of the 27th IEEE Conference on Decision and Control - Austin, TX, USA Duration: Dec 7 1988 → Dec 9 1988 |
All Science Journal Classification (ASJC) codes
- Control and Optimization
- Control and Systems Engineering
- Modeling and Simulation