Examples

 

 

   

Alternating bit protocol 

Altitude Controller

Diffusing Computation