Population Protocols

This example has been turned into a tutorial with exercises (lab).