The ATL Postmaster: A System for Agent Collaboration and Information Dissemination.

Jennifer S. Kay Julius Etzl Goutham Rao Jon Thies

Published in: Agents (1998)

Keyphrases

information dissemination
multi agent systems
alternating time temporal logic
model checking
data dissemination
temporal logic
social networks
sensor networks
wireless networks
communication networks
publish subscribe
reactive systems
artificial intelligence
multi agent
mobile devices
imperfect information