並行プロセス記述言語occam(2)