| Autor: |
Fromentin, Eddy, Raynal, Michel |
| Zdroj: |
Journal of Computer and System Sciences; December 1997, Vol. 55 Issue: 3 p522-528, 7p |
| Abstrakt: |
A consistent observation of a given distributed computation is a sequence of global states that could be produced by executing that computation on a monoprocessor system. Therefore a distributed execution generally accepts several consistent observations. This paper investigates global states shared by all such observations. A necessary and sufficient condition characterizing these states is first given. Then, an algorithm that computes shared global states is described. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
Full Text from ScienceDirect