Communicating sequential processes
Communicating sequential processes
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Distributed Artificial Intelligence (Vol. 2)
Distributed Artificial Intelligence (Vol. 2)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Communication and Concurrency
Seminar on Concurrrency
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination
Proceedings of the 8th Colloquium on Automata, Languages and Programming
APT Agents: Agents That Are Adaptive, Predictable, and Timely
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
An Agent-Based Approach to Developing Intelligent Virtual Reality-Based Training Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
Hi-index | 0.00 |
Problems of liveness and fairness are considered in multi-agent systems by means of abstract languages. Different approaches to define such properties for the agents and for a multi-agent system as a whole are discussed. It turns out that the properties of a multi-agent system need not correspond to separately definable properties of the agents (e.g. a community of fair agents need not constitute a fair multi-agent system). In general, analysis and verification need the consideration of the whole system, and the agents have to be considered in the context of the system, too. The results are not unique, there are different results for deadlock freedom, liveness and fairness, respectively.