Observational program calculi and the correctness of translations

Communication and concurrency

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

Testing equivalences for processes

Rocco De Nicola, Matthew Hennessy · Theoretical Computer Science · 1984 · 1.2K citations

Engineering, Systems Engineering, Stochastic Processes +4

Formal verification of a realistic compiler

Xavier Leroy · Communications of the ACM · 2009 · 1.1K citations

Computing, Computer Engineering, Computer Science +17

LCF considered as a programming language

Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations

Computing, Computer Science, Programming Languages +4

Fully abstract models of typed λ-calculi

Robin Milner · Theoretical Computer Science · 1977 · 477 citations · Full text

Computing, Computer Science, Programming Languages +13