1 //--- Begin of process.c\process_is_running():382-386 2 proctype process_is_running(chan process_is_running_sync_ch;chan params_chan) 3 { 4 int p; 5 params_chan ? p; 6 end: process_is_running_sync_ch ! (processes[p].state != PROCESS_STATE_NONE);//process.c\process_is_running():385 7 }//--- End of process.c\process_is_running():382-386 Control flow abstraction of process_is_running() Promela model of process_is_running()
