[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Semantics



Denis,
 
In looking at the TSP specification, I have one observation.
 
In section 2.1 of the document, it is stated that the serial number shall be "a monotonically incrementing integer for each newly generated time stamp token".  However, in section 2.4.2 when the meaning and the usage of the serial number is discussed, it is referred to as "a strictly monotonically increasing integer."
 
My understanding is that "monotonically increasing" values can be equal (i.e. the time value is monotonically increasing) and "strictly increasing" values cannot have equal values.  I am not sure what "strictly monotonically increasing" implies.  Seems to me that the serial number should be referred to as "strictly increasing" or "unique and monotonically increasing" in both places.
 
Any comments?
 
Mike Duren