We will now show that the snapshot

We will now show that the snapshot state recorded using DS1 and DS2 is indeed equivalent to the ideal view of Figure 8.4a. The equivalence hinges on the fact that a pair of actions (a, b) can be observed or scheduled in any order, as long as there is no causal order between them—so schedule (a, b) is equivalent to schedule (b, a). Now, the main theorem follows.

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

Теперь мы покажем, что снимок состояния, записанные с помощью DS1 и DS2 действительно соответствует идеальным видом фигуры 8.4a. Эквивалентности петли на то, что пара действий (a, b) может наблюдается или в любом порядке, до тех пор, пока между ними не существует причинно-следственная порядка — так что график (a, b) соответствует расписанию (b, a). Теперь основная теорема следует.

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

Покажем теперь, что состояние снимка, записанные с помощью DS1 и DS2 действительно эквивалентно идеальный вид на рисунке 8.4a. Эквивалентности зависит от того, что пара действий (а, б) можно наблюдать или по расписанию в любом порядке, до тех пор, пока не будет никакой причинно-следственной порядок между ними столь графиком (а, Ь) эквивалентно графику (б, а). Теперь основная теорема.

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

мы сейчас показывают, что снимок с помощью государства, заносимым в отчет о заседании, ds1 и DS2 действительно соответствует идеально взгляд. 8.4a. эквивалентности, зависит от того, что пара действия (a, b) может быть отмечено или запланированных в любом порядке до тех пор, пока нет причинно - следственной, чтобы между ними и расписание (A, b) составляет график (B).теперь основная теорема образом.