<p>All I know about process algebras is that if you try to solve the Zachtronics assembly video game using communicating sequential processes, you will run out of moves and die</p>