Leadership protocol for S-Nets

Smart Sensor Networks are collections of non-mobile devices (S-elements) which can compute, communicate and sense the environment; they must be able to create local groups of devices (S-cliques). We propose here a protocol to solve the leadership problems for S-Nets. We sketch the correctness of this protocol in terms of an asynchronous network model, and give an example implementation.