1 /*プロセスをまとめて実行*/ 2 int a,b; 3 int c=3; 4 active proctype judge(){ 5    atomic{ 6       a=0; 7       b=0; 8       c=a; 9       c=1; 10   } 11}