1 /*チャネルで通信*/ 2 chan channel = [8] of {int}; 3 active proctype sender(){ 4    int send_msg=213; 5    channel!send_msg 6 } 7  active proctype receiver(){ 8    int receive_msg 8    channel?receive_msg 9  }