| | |
Summary: THE DISTRIBUTED COMPUTING COLUMN
BY
MARIO MAVRONICOLAS
Department of Computer Science, University of Cyprus
75 Kallipoleos St., CY-1678 Nicosia, Cyprus
mavronic@cs.ucy.ac.cy
AN INTRODUCTION TO
POPULATION PROTOCOLS
James Aspnes
Yale University
Eric Ruppert
York University
Abstract
The population protocol model describes a collection of tiny mobile
agents that interact with one another to carry out a computation. The agents
are identically programmed finite state machines. Interactions between pairs
of agents cause the two agents to update their states. These interactions are
scheduled by an adversary, subject to a fairness constraint. Input values are
initially distributed to the agents, and the agents must eventually converge
to the correct output value. This framework can be used to model mobile ad
|
