All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object
|
+----java.lang.Thread
|
+----syd.session.Session
Session is built.
public Session(InputData p_1,
Mpx p_2,
LogicalClock p_3)
Session is built.
public void run()
The error conditions that may arise as a consequence of an unexpected behavior of the system clock (eccessive drift, or resynchronizations) are coped with by forgetting the past value of delta_0, and recomputing the value of the clock using the "INITIAL" rule (see paper)
All Packages Class Hierarchy This Package Previous Next Index