Samson Abramsky
-
Domain theory for concurrency
Theoretical Computer Science - Logic, semantics and theory of programming