Skip to content
cs-conference-ranking.org

Stephen D. Brookes

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

6

Active years

1981–2004

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

YearVenueTitleAuthors
2004CONCURA Semantics for Concurrent Separation Logic.Stephen D. Brookes
2002CONCURTraces, Pomsets, Fairness and Full Abstraction for Communicating Processes.Stephen D. Brookes
1996LICSThe Essence of Parallel Algol.Stephen D. Brookes
1995POPLSequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.Stephen D. Brookes, Denis Dancanet
1993LICSFull Abstraction for a Shared Variable Parallel LanguageStephen D. Brookes
1993MFPSSequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.Stephen D. Brookes, Shai Geva
1991MFPSContinuous Functions and Parallel Algorithms on Concrete Data Structures.Stephen D. Brookes, Shai Geva
1987MFPSSemantically Based Axiomatics.Stephen D. Brookes
1986LICSA Semantically Based Proof System for Partial Correctness and Deadlock in CSPStephen D. Brookes
1985MFPSA Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing.Stephen D. Brookes
1984CONCUROn the Axiomatic Treatment of Concurrency.Stephen D. Brookes
1984CONCURAn Improved Failures Model for Communicating Processes.Stephen D. Brookes, A. W. Roscoe
1983ICALPOn the Relationship of CCS and CSP.Stephen D. Brookes
1983ICALPBehavioural Equivalence Relations Induced by Programming Logics.Stephen D. Brookes, William C. Rounds
1981FOCSPossible Futures, Acceptances, Refusals, and Communicating ProcessesWilliam C. Rounds, Stephen D. Brookes