A theory of stochastic systems part I: Stochastic automata

Real and Complex Analysis.

G. A. Garreau, Walter Rudin · Journal of the Royal Statistical Society Series D (The Statistician) · 1987 · 11K citations

Natural Sciences, Mathematics, Probability Theory +16

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Matrix-Geometric Solutions in Stochastic Models. An Algorithmic Approach.

C. C. Heyde, Marcel F. Neuts · Journal of the American Statistical Association · 1982 · 3.3K citations

Engineering, Mathematics, Probability Theory +12