Cpo's of measures for nondeterminism

A Powerdomain Construction

Gordon Plotkin · SIAM Journal on Computing · 1976 · 632 citations

Exponentiation Constructions, Engineering, Domain Theory +13

Introduction to probabilistic automata

Discrete Mathematics · 1972 · 411 citations

Logical Automaton, Engineering, Automated Reasoning +6

Measure and Integration.

John C. Oxtoby, C. Caratheodory, F. E. J. Linton · American Mathematical Monthly · 1965 · 119 citations

Measure Theory, Measurement, Invariant Measures +2

Bases for Chain-complete Posets

George Markowsky, Barry K. Rosen · IBM Journal of Research and Development · 1976 · 56 citations

Chain-complete Posets, Order Theory, Domain Theory +9

Automata, languages and programming

Computer-Aided Design · 1986 · 47 citations

Logical Automaton, Engineering, Automated Reasoning +8