Proving Fairness and Implementation Correctness of a Microkernel Scheduler

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

Natural Sciences, Mathematics, Algebra +9

Exokernel

Dawson Engler, M. Frans Kaashoek, James W. O’Toole · 1995 · 1.1K citations

Computing, Computer Science, Computer Systems +17

On micro-kernel construction

Jochen Liedtke · 1995 · 599 citations · Full text

Computing, Computer Science, Information Technology +5

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

Journal of Symbolic Logic · 1988 · 452 citations

Humanities, Computer Science, Mathematics +12

Improving IPC by kernel design

Jochen Liedtke · 1993 · 281 citations

Computing, Computer Engineering, Computer Science +15