OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Gavin Lowe and Joël Ouaknine
journal
Electr. Notes Theor. Comput. Sci.
pages
497-519
volume
155
year
2006
BibTeX
Link (ps)
DOI (10.1016/j.entcs.2005.11.070)
Gavin Lowe
activities
Concurrency
