[cap-talk] Analyzing Authority with CSP - link broken (was: Backwater: some small progress)

[Mark Miller]

On 4/28/07, Mark S. Miller <markm at cs.jhu.edu> wrote:
> [...] Toby Murray's
> <http://web.comlab.ox.ac.uk/oucl/work/toby.murray/analysing_authority.pdf>
> uses another process algebra, CSP, to reason about authority. [...]

Oops. I just tried that link, and it's broken. Toby, where can this
paper be found?


-- 
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM