algebra of communicating processes