Population Protocols

This page is dedicated to my project on Population Protocols.

The tool Peregrine can be found here: Peregrine

The report of the work can be found here: Report