Noidy Conmunixatipn: On the Convergence of the Averaging Population Protocol.
Frederik Mallmann-TrennYannic MausDominik PajakPublished in: ICALP (2019)
Keyphrases
- lightweight
- formal analysis
- population diversity
- convergence speed
- digital libraries
- iterative algorithms
- multi objective evolutionary algorithms
- population size
- communication protocol
- cryptographic protocols
- population dynamics
- coloured petri nets
- security protocols
- convergence analysis
- communication protocols
- mutation probability