Information and Computation

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · 1992 · 2.8K citations · Full text

Engineering, Mathematics, Markov Decision Processes +10

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

Learning regular sets from queries and counterexamples

Dana Angluin · 1987 · 2.1K citations

Computing, Computer Science, Mathematics +10

The Weighted Majority Algorithm

N. Littlestone, Manfred K. Warmuth · 1994 · 2K citations

Computing, Computer Science, Algorithms +11

Notions of computation and monads

Eugenio Moggi · 1991 · 1.7K citations

Computing, Computer Science, Mathematics +10