column value
英文名稱 algebra of communicating processes
中文名稱 通信處理代數