Home Search Progress Special Main Page

Main Page Recent Search Import Progress Special Pages Random Article

Page tools

Discussion Page information Revision history Edit source What links here Protection

Categories

Living people
Scottish scholars and academics
1956 births
Alumni of University College, Oxford
Members of the Department of Computer Science, University of Oxford
Formal methods people
Fellows of University College, Oxford
Scientists from Dundee
People educated at the High School of Dundee
Scottish computer scientists

What links here

Bill Roscoe

Communicating sequential processes

article-link

Programming Research Group

article-link

Tony Hoare

article-link