Quote: efficient algorithm to convert timestamps into event clocks; reduces state space for model checker of distributed protocols

Quotation Skeleton

this paper is based on a case study … timestamps to keep track of the relative order … The easiest way to implement timestamp variables is … in the state explosion problem when trying to … small number of different values of timestamps simultaneously … the relative order of timestamps we have implemented … possible range for timestamps is used. … [p. 125] Using suitable data structures, we will show … of timestamps in the system. The result is … space. … [p. 131] This section gives two examples of some …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: state machine (67 items)
Topic: model checker (49 items)
Topic: timestamps (19 items)
Topic: time (48 items)