OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Gavin Lowe
journal
Formal Aspects of Computing
year
2008
BibTeX
Download (pdf)
activities
Concurrency
