Title: Communicating processes and occam