Concepedia

A. W. Roscoe

AW

55

Publications

4.3K

Citations

29

H-Index

1984

Active since

Affiliations

University of Oxford(Current)

Oxford Research Group

University of Warwick

A. W. Roscoe is an author at University of Oxford specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationData SecurityInformation SecurityCryptographySoftware AnalysisAutomated ReasoningData Privacy

Publications per year

1984–2021

55

Publications

55

A Theory of Communicating Sequential Processes

Stephen Brookes, C. A. R. Hoare, A. W. Roscoe · Journal of the ACM · 1984 · 1.2K citations · Full text

Engineering, Automated Reasoning, Message Passing +14

Laws of programming

C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +17

A timed model for communicating sequential processes

G. M. Reed, A. W. Roscoe · Theoretical Computer Science · 1988 · 283 citations

Engineering, Timed Model, Concurrency Theory +6

CSP and determinism in security modelling

A. W. Roscoe · 2002 · 208 citations

Abstraction Mechanism, Engineering, Information Security +19

Star covering properties

Eric K. van Douwen, G. M. Reed, A. W. Roscoe et al. · Topology and its Applications · 1991 · 174 citations

Stellar Structure, Covering Problems, Astrophysics

Rows per page

1–5 of 55