Maintaining consistency in distributed databases by Roscoe, A

Human−centred computer security by Roscoe, A

The expressiveness of CSP with priority by Roscoe, A

A mathematical theory of communicating processes by Roscoe, A

Denotational semantics for occam by Roscoe, A

The three platonic models of divergence-strict CSP by Roscoe, A

About Consistency in Databases by Roscoe, A

Intensional specifications of security protocols by Roscoe, A

Modelling and verifying key−exchange protocols using CSP and FDR by Roscoe, A

The three Platonic models of divergence−strict CSP by Roscoe, A

The pursuit of buffer tolerance by Roscoe, A

Occam in the specification and verification of microprocessors by Roscoe, A

Finitary refinement checks for infinitary specifications by Roscoe, A

Confluence thanks to extensional determinism by Roscoe, A

On the expressiveness of CSP by Roscoe, A

An alternative order for the failures model by Roscoe, A

Unbounded nondeterminism in CSP by Roscoe, A

Notes on Domain Theory by Roscoe, A

Proving security protocols with model checkers by data independence techniques by Roscoe, A

Developing and verifying protocols in CSP by Roscoe, A