5.プロセスを実行（応用）

1 /*プロセスの実行(応用)*/
2 int num = 0;
3
4 active proctype process1(){
5 num++ -> printf("%d\n",num)
6 }
7
8 active proctype process2()
9 provided (num>3) {
10 printf("Hello World!\n")
11}