Рисунок 3.2 (a) The state-reading m

Рисунок 3.2 (a) The state-reading model: a directed edge (2, 3) means that 3 can read the state of 2.
(b) The link register model: 1 and 3 access the information from the link registers R21 and R23, respectively, which are updated by 2. The contents of these registers are limited by how much 2 wants to share with them.

Результаты (русский) 2:

Рисунок 3.2 (а) состояние чтения модель: направленное ребро (2, 3) означает , что 3 может прочитать состояние 2.
(б) ссылку регистрации модели: 1 и 3 получить доступ к информации по ссылке регистров R21 и R23 , соответственно, которые обновляются на 2. содержимое этих регистров ограничены тем , сколько 2 хочет разделить с ними.

Результаты (русский) 3:

Рисунок 3.2 a) государство чтения модели: в край (2, 3) означает, что государство может прочитать 3 2.b) ссылку регистр модель: 1 и 3, доступ к информации из связь реестров R21 и r23, соответственно, которые обновляются на 2.содержание этих загрязнителей ограничены, сколько 2 хочет поделиться с ними.