Concepedia

Stephen Brookes

SB

Statistics

Publications

20

Citations

2.1K

H-Index

17

Active since

1976

Affiliations

Carnegie Mellon University(Current)

University of Manchester

Analog Devices (Ireland)

University College Dublin

Oxford Research Group

Stephen Brookes is an author at Carnegie Mellon University specializing in computing, computer science, and formal methods.

Publications per year

1976–2019

20

Publications

20

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, Computer Science, Mathematics +10

A semantics for concurrent separation logic

Stephen Brookes · Theoretical Computer Science · 2007 · 235 citations

Computing, Computer Science, Formal Methods +9

Full Abstraction for a Shared-Variable Parallel Language

Stephen Brookes · Information and Computation · 1996 · 155 citations

Computing, Computer Engineering, Computer Science +14

Concurrent separation logic

Stephen Brookes, Peter W. O’Hearn · ACM SIGLOG News · 2016 · 82 citations · Full text

Computing, Computer Science, Formal Methods +15

Possible futures, acceptances, refusals, and communicating processes

William C. Rounds, Stephen Brookes · 1981 · 65 citations

Computing, Computer Science, Mathematics +17

1–5 of 20