Algorithm’s Properties

• (P1) There is an a priori known bound for the maximum deviation:

• (P2) The clocks of joined correct processors should read times within a linear envelope of real time.

X,X ‘ are constants representing initial conditions

Previous slide

Next slide

Back to first slide

View graphic version