Concepedia

Stephen Brookes

SB

Statistics

Publications

14

Citations

1.9K

H-Index

12

Active since

1981

Affiliations

Carnegie Mellon University(Current)

Oxford Research Group

Analog Devices (Ireland)

University College Dublin

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

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationParallel ProgrammingSemanticsProgram AnalysisParallel ComputingSemantic Web

Publications per year

1981–2019

14

Publications

14

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

A semantics for concurrent separation logic

Stephen Brookes · Theoretical Computer Science · 2007 · 233 citations

Engineering, Automated Reasoning, Concurrent Separation Logic +7

Full Abstraction for a Shared-Variable Parallel Language

Stephen Brookes · Information and Computation · 1996 · 154 citations

Full Abstraction, Engineering, Parallel Software +8

Concurrent separation logic

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

Engineering, Automated Reasoning, Concurrent Separation Logic +12

Possible futures, acceptances, refusals, and communicating processes

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

Negotiation, Engineering, Ar Model +20

1–5 of 14