Examples

Alternating bit protocol 

Altitude Controller

Diffusing Computation