Author Description

Real-time computer systems are very often subject to dependability requirements because of their application areas. The problem of replica non-determinism and the presentation of its possible solutions is the subject of this work.