532   \end{center}

   532   \end{center}

   533 

   533 

   534   \noindent

   534   \noindent

   535   Clearly the operating system should only allow to clone a process @{text p} if the 

   535   Clearly the operating system should only allow to clone a process @{text p} if the 

   536   process is currently alive. The cloned process will get the process

   536   process is currently alive. The cloned process will get the process

   538   not already exist. The admissibility rules for the other events impose similar conditions. 

   538   not already exist. The admissibility rules for the other events impose similar conditions. 

   539 

   539 

   540   However, the admissibility check by the operating system is only one

   540   However, the admissibility check by the operating system is only one

   541   ``side'' of the constraints the RC-Model imposes. We also need to

   541   ``side'' of the constraints the RC-Model imposes. We also need to

   542   model the constraints of the access policy. For this we introduce

   542   model the constraints of the access policy. For this we introduce