Comment by fizlebit

Time to discover communicating sequential processes instead :P