synchronous calculus; this means that when a communication takes place, ... if test then P else Q. (branch) ι. 0. (termination) ι id(v).
確定! 回上一頁