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-clusters). We propose a protocol to solve the leadership problem for S-Nets. We sketch the correctness of this protocol in terms of an asynchronous network model.