We analyze in detail a leader election protocol that we call the Swedish leader election protocol. The goal is to select one among n > 0 players, by proceeding through a number of rounds. If there is only one player remaining, the protocol stops and the player is declared the leader. Otherwise, all remaining players flip a biased coin; with probability q the player survives to the next round, w...

In this paper we consider the problem of distributed leader election in unoriented Abelian Cayley graphs of degree 4. This family of graphs, denoted by C G 4, include bidimensional tori of arbitrary size and chordal rings with one arbitrary chord. We present an algorithm which assumes that the only structural knowledge available to the nodes is “I am in an Abelian Cayley Graph of degree 4”. The...

Palamidessi has shown that the π-calculus with mixed choice is powerful enough to solve the leader election problem on a symmetric ring of processes. We show that this is also possible in the calculus of Mobile Ambients (MA), without using communication or restriction. Following Palamidessi’s methods, we deduce that there is no encoding satisfying certain conditions from MA into CCS. We also sh...

This paper deals with the automated synthesis of implementations of knowledge-based programs with respect to two synchronous semantics (clock and synchronous perfect recall). An approach to the synthesis problem based on the use of symbolic representations is described. The method has been implemented as an extension to the model checker MCK. Two applications of the implemented synthesis system...

This paper deals with the leader-follower formation control problem while communication constraint in data transmitting is considered. From a practical point of view, we study the case in which unmanned vehicles are subject to the limited sensing, and communication is of a particular interest. A three-dimensional formation flight of multi-unmanned aerial vehicles with leader-follower configurat...

We address the enumeration and the leader election problems over partially anonymous and multi-hop broadcast networks. We consider an asynchronous communication model where each process broadcasts a message and all its neighbours receive this message after arbitrary and unpredictable time. In this paper, we present necessary conditions that must be satisfied by any graph to solve these problems...

In this paper we present and analyze a wireless wave leader election protocol (WWLE) for wireless mobile ad hoc sensor networks. We present also a mathematical model for the energy consumption within a sensor node. The capabilities of a node being a leader (like available resources such as battery energy, network capabilities, etc.) are integrated in the algorithm. The simulation results show t...