Communicating sequential processes
Communications of the ACM
Temporal logic can be more expressive
SFCS '81 Proceedings of the 22nd Annual Symposium on Foundations of Computer Science
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Introduction to planning in multiagent systems
Multiagent and Grid Systems - Planning in multiagent systems
Localized representation and planning methods for parallel domains
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Localized representation and planning methods for parallel domains
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
A program is described which augments plans with synchronizing primitives to ensure appropriate conflict avoidance and co-operation The plans are particularly suitable for describing the activity of multiple agents which may interfere with each other The interpretation of a plan is given as a non deterministic finite automaton which exchanges messages with an environment for the commencement and conclusion of primitive actions which take place over a period of time The synchronized plan allows any and all execution sequences of the original plan which guarantee correct interaction