Possible Futures, Acceptances, Refusals, and Communicating Processes - William C. Rounds; Stephen D. Brookes (FOCS, 1981)

On the Relationship of CCS and CSP. - Stephen D. Brookes (ICALP, 1983)

Behavioural Equivalence Relations Induced by Programming Logics. - Stephen D. Brookes; William C. Rounds (ICALP, 1983)

A Semantics and Proof System for Communicating Processes. - Stephen D. Brookes (Logic of Programs, 1983)

On the Axiomatic Treatment of Concurrency. - Stephen D. Brookes (Seminar on Concurrency, 1984)

An Improved Failures Model for Communicating Processes. - Stephen D. Brookes; A. W. Roscoe 001 (Seminar on Concurrency, 1984)

A Theory of Communicating Sequential Processes. - Stephen D. Brookes; C. A. R. Hoare; A. W. Roscoe 001 (J. ACM, 1984)

An Axiomatic Treatment of a Parallel Programming Language. - Stephen D. Brookes (Logic of Programs, 1985)

A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. - Stephen D. Brookes (Mathematical Foundations of Programming Semantics, 1985)

A Semantically Based Proof System for Partial Correctness and Deadlock in CSP - Stephen D. Brookes (LICS, 1986)

Semantically Based Axiomatics. - Stephen D. Brookes (MFPS, 1987)

Continuous Functions and Parallel Algorithms on Concrete Data Structures. - Stephen D. Brookes; Shai Geva (MFPS, 1991)

Deadlock Analysis in Networks of Communicating Processes. - Stephen D. Brookes; A. W. Roscoe 001 (Distributed Comput., 1991)

Towards a Theory of Parallel Algorithms on Concrete Data Structures. - Stephen D. Brookes; Shai Geva (Theor. Comput. Sci., 1992)

Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. - Stephen D. Brookes; Shai Geva (MFPS, 1993)

Using Fixed-Point Semantics to Prove Retiming Lemmas. - Stephen D. Brookes (Formal Methods Syst. Des., 1993)

Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin. - Stephen D. Brookes (Theor. Comput. Sci., 1993)

A Category-Theoretic Treatment of a Parallel Algol-Like Language. - Stephen D. Brookes (Category Theory and Computer Science, 1995)

Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. - Stephen D. Brookes; Denis Dancanet (POPL, 1995)

Foreword and Dedication. - Stephen D. Brookes; Michael G. Main; Austin Melton; Michael W. Mislove (MFPS, 1995)

Full Abstraction for a Shared-Variable Parallel Language. - Stephen D. Brookes (Inf. Comput., 1996)

Idealized CSP: combining procedures with communicating processes. - Stephen D. Brookes (MFPS, 1997)

Foreword. - Stephen D. Brookes; Michael G. Main; Austin Melton; Michael W. Mislove (MFPS, 1997)

Reasoning About Recursive Processes: Expansion is not Always Fair. - Stephen D. Brookes (MFPS, 1999)

Preface. - Stephen D. Brookes; Achim Jung; Michael W. Mislove; Andre Scedrov (MFPS, 1999)

Transfer Principles for Reasoning About Concurrent Programs. - Stephen D. Brookes (MFPS, 2001)

Preface. - Stephen D. Brookes; Michael W. Mislove (MFPS, 2001)

Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. - Stephen D. Brookes (CONCUR, 2002)

The Essence of Parallel Algol. - Stephen D. Brookes (Inf. Comput., 2002)

Foreword - MFPS 1996. - Stephen D. Brookes; Michael W. Mislove (Theor. Comput. Sci., 2002)

Dedication. - Stephen D. Brookes; Michael W. Mislove (Theor. Comput. Sci., 2002)

Retracing the Semantics of CSP. - Stephen D. Brookes (25 Years Communicating Sequential Processes, 2004)

A Grainless Semantics for Parallel Programs with Shared Mutable Data. - Stephen Brookes (MFPS, 2005)

Retracing CSP. - Stephen Brookes (APC 25, 2005)

Variables as Resource for Shared-Memory Programs: Semantics and Soundness. - Stephen D. Brookes (MFPS, 2006)

A semantics for concurrent separation logic. - Stephen Brookes (Theor. Comput. Sci., 2007)

Fairness, Resources, and Separation. - Stephen Brookes (MFPS, 2010)

A Revisionist History of Concurrent Separation Logic. - Stephen Brookes (MFPS, 2011)

Syntactic Control of Interference and Concurrent Separation Logic. - Stephen Brookes (MFPS, 2012)

Dedication. - Stephen D. Brookes; Achim Jung; Catherine Meadows 001; Michael W. Mislove; Prakash Panangaden (MFPS, 2012)

Dedication. - Stephen Brookes; Benjamin C. Pierce; Gordon D. Plotkin; Dana S. Scott (MFPS, 2013)

On Grainless Footprint Semantics for Shared-memory Programs. - Stephen Brookes (MFPS, 2014)

The Essence of Reynolds. - Stephen Brookes; Peter W. O'Hearn; Uday S. Reddy (Formal Aspects Comput., 2014)

Concurrent separation logic. - Stephen Brookes; Peter W. O'Hearn (ACM SIGLOG News, 2016)

A denotational account of C11-style memory. - Ryan Kavanagh; Stephen Brookes (CoRR, 2018)

A Denotational Semantics for SPARC TSO. - Ryan Kavanagh; Stephen Brookes (MFPS, 2018)

4.48GHz 0.18μm SiGe BiCMOS Exact-Frequency Fractional-N Frequency Synthesizer with Spurious-Tone Suppression Yielding a -80dBc In-Band Fractional Spur. - Michael Peter Kennedy; Yann Donnelly; James Breslin; Stefano Tulisi; Sanganagouda Patil; Ciaran Curtin; Stephen Brookes; Brian Shelly; Patrick Griffin; Michael Keaveney (ISSCC, 2019)

CSP: A Practical Process Algebra. - Stephen D. Brookes; A. W. Roscoe 001 (Theories of Programming, 2021)

Experimental Verification of Wandering Spur Suppression Technique in a 4.9 GHz Fractional-N Frequency Synthesizer. - Dawei Mai; Yann Donnelly; Michael Peter Kennedy; Stefano Tulisi; James Breslin; Patrick Griffin; Michael Connor; Stephen Brookes; Brian Shelly; Michael Keaveney (ESSCIRC, 2021)

Wandering Spur Suppression in a 4.9-GHz Fractional-N Frequency Synthesizer. - Dawei Mai; Yann Donnelly; Michael Peter Kennedy; Stefano Tulisi; James Breslin; Patrick Griffin; Michael Connor; Stephen Brookes; Brian Shelly; Mike Keaveney (IEEE J. Solid State Circuits, 2022)