Statistics
Publications
24
Citations
1.1K
H-Index
16
Active since
1981
Affiliations
Bill Roscoe is an author at University of Oxford specializing in computer science, computing, and formal methods.
Publications per year
1981–2018
24
24
Modelling and verifying key−exchange protocols using CSP and FDR
Bill Roscoe · 1995 · 153 citations
Millennial Perspectives in Computer Science
Bill Roscoe · 2000 · 55 citations
Routing messages through networks: an exercise in deadlock avoidance
Bill Roscoe · 1987 · 49 citations
1–5 of 24