Skip to main content
For Better Performance Please Use Chrome or Firefox Web Browser
Dr.Elham Mahmoudzadeh
Assistant Professor of Electrical & Computer
Search form
Search
English
فارسی
Promela model for process list
1
#define max_nProcesses 32
2
#define NULL -1
3
mtype: boolType = {False,True};
4
mtype: proc_state { PROCESS_STATE_NONE, PROCESS_STATE_CALLED, PROCESS_STATE_RUNNING }
5
typedef process {
6
int next;
7
byte name[9];
8
int thread;
9
mtype: boolType needspoll;
10
mtype: proc_state state;
11
};
12
process processes[max_nProcesses];
13
int process_list=NULL;
Structure of
process list
Promela model of
process list
Home
Biography
Publications
Research Projects
Teaching
Students
Laboratories
ارتقاء امنیت وب با وف ایرانی