|| Checking for direct PDF access through Ovid
This paper introduces a novel approach, called Mobilizer, of operating synchronous communication protocols in cellular mobile environment. First, we present a distributed protocol, called Mobile Propagation of Information (MPI), for broadcasting information in mobile environment. Then, we present the Mobile Propagation of Information with Feedback (MPIF) protocol, which can be used to implement the Mobilizer approach, i.e., enable broadcast-based synchronous protocols run over distributed networks with mobile users. We prove the correctness of the protocols and show that the additional message complexity overhead, induced due to the Mobilizer, is linear with the number of users' movements.