On the design of distributed protocols from differential equations

We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machines containing probabilistic transitions and actions, and they show equivalent stochastic behavior to that in the original equations. The protocols are probabilistically scalable and reliable, and are derived from two subclasses of equations with polynomial terms. We prove the equivalence of protocols to the source equations. Rewriting techniques to bring equations into the appropriate mappable form are also described. In order to illustrate the usefulness of the approach, we present the design and study of scalable and probabilistically reliable protocols for migratory replication and majority selection. These two protocols are derived from natural analogies represented as differential equations - endemics and the Lotka-Volterra model of competition respectively. Well-known epidemic protocols are also shown t...

• Type: Conference
• Year: 2004
• Where: PODC
• Authors: Indranil Gupta
• Keywords: Distributed And Parallel Computing, Distributed Protocols, PODC 2004, Reliable Protocols, Well-known Epidemic Protocols