Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus

Article

Abstract: A key issue for distributed problem solving (DPS) systems is coordination of the agent's actions, an

Palabras claves:

Coordination strategies, Distributed problem solving, DPS, Multi-agent systems, Pi-calculus

Autores:

Carver N., Khorasani E.S., Pablo Robles-Granda, Rahimi S.

Fuentes:

scopus