Suppose that x ↑ (v) denotes the action of writing a value (or message) v in channel x which is then kept in the channel for one time unit.
確定! 回上一頁