Works of Nancy Lynch: Recent submissions
Now showing items 22-24 of 100
-
Leader election using loneliness detection
(Springer-Verlag, 2012-06-26)We consider the problem of leader election (LE) in single-hop radio networks with synchronized time slots for transmitting and receiving messages. We assume that the actual number n of processes is unknown, while the size ... -
Dynamic input/output automata: A formal and compositional model for dynamic systems
(Elsevier BV, 2016-03)We present dynamic I/O automata (DIOA), a compositional model of dynamic systems. In DIOA, automata can be created and destroyed dynamically, as computation proceeds, and an automaton can dynamically change its signature, ... -
Costs of task allocation with local feedback: Effects of colony size and extra workers in social insects and other multi-agent systems
(Public Library of Science (PLoS), 2017-12)Adaptive collective systems are common in biology and beyond. Typically, such systems require a task allocation algorithm: a mechanism or rule-set by which individuals select particular roles. Here we study the performance ...
