Diffusing computations can have complex protocols based on peer-to-peer communications Can prove nice properties, like termination.