
Theses of old members
 Using CSP to Verify
SecurityCritical
Applications by G. T. Rohrmair, D.Phil. thesis, Oxford University
Computing Laboratory,
2005.
 Model checking dataindependent
systems
with arrays by T. Newcomb, D.Phil. thesis, Oxford University
Computing Laboratory,
2003.
 On the refinement of statebased
and
eventbased
models by C. Bolton, D.Phil. thesis, Oxford University Computing
Laboratory,
2002.
 Discrete analysis of continuous
behaviour in realtime concurrent
systems. J. Ouaknine.
Ph.D. Thesis, Oxford University, 2001.
 Data independence in the
model
checking
of security protocols by P. Broadfoot, D.Phil. thesis, Oxford
University
Computing Laboratory, 2001.
 Data independent induction: CSP
Model
Checking
of Arbitrary Sized Networks by S.J. Creese, D.Phil. thesis, Oxford
University Computing Laboratory, 2001.
 Noninterference Properties for
Nondeterministic
Processes by R. Forster, D.Phil. thesis, Oxford University
Computing
Laboratory, 1999.
 A Semantic Study of Data
Independence
with Applications to Model Checking by R.S.Lazic, D.Phil. thesis,
Oxford
University Computing Laboratory, 1999.
 The semantics and implementation of
machinereadable CSP by B.Scattergood, D.Phil. thesis,
Oxford
University Computing Laboratory, 1998.



