Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination

A logic for reasoning about time and reliability

Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.3K citations · Full text

Specification and refinement of probabilistic processes

Bengt Jönsson, Kim G. Larsen · 2002 · 341 citations

Engineering, Verification, Transition System +21

Token management schemes and random walks yield self-stabilizing mutual exclusion

Amos Israeli, Marc Jalfon · 1990 · 245 citations · Full text

The complexity of elementary algebra and geometry

Michael Ben-Or, Dexter Kozen, John H. Reif · Journal of Computer and System Sciences · 1986 · 218 citations

Abstract Complexity, Geometry, Computational Complexity +2

Probabilistic self-stabilization

Ted Herman · Information Processing Letters · 1990 · 198 citations