This paper mainly studies the order statistics of geometric distribution. The deduces joint frequency function and conditional statistics, and, obtain prove some important propositions Certain are different from also similar to corresponding exponential distribution.

Abstract We introduce Hyper 2 LTL, a temporal logic for the specification of hyperproperties that allows second-order quantification over sets traces. Unlike first-order logics hyperproperties, such as HyperLTL, LTL can express complex epistemic properties like common knowledge, Mazurkiewicz trace theory, and asynchronous hyperproperties. The model checking problem is, in general, undecidable. ...