Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tony Hoare

A Discrete Geometric Model of Concurrent Program Execution

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Student Funding, Student Retention and Student Experiences: Perspectives From Bristol

Widening Participation and Lifelong Learning

English

Proving Correctness of Highly-Concurrent Linearisable Objects

English