OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. Abramsky, R. Jagadeesan and P. Malacaria
book title
Information and Computation
pages
409-470
volume
163
year
2000
BibTeX
Download (pdf)
Samson Abramsky
