|
|
Theses of old members
- Using CSP to Verify
Security-Critical
Applications by G. T. Rohrmair, D.Phil. thesis, Oxford University
Computing Laboratory,
2005.
- Model checking data-independent
systems
with arrays by T. Newcomb, D.Phil. thesis, Oxford University
Computing Laboratory,
2003.
- On the refinement of state-based
and
event-based
models by C. Bolton, D.Phil. thesis, Oxford University Computing
Laboratory,
2002.
- Discrete analysis of continuous
behaviour in real-time 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.
- Non-interference 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
machine-readable CSP by B.Scattergood, D.Phil. thesis,
Oxford
University Computing Laboratory, 1998.
|
|
|
|
