Journal Article A Denotational Semantics for SPARC TSO 2018 • Electronic Notes in Theoretical Computer Science • 336:223-239 Kavanagh R, Brookes S
Conference On Grainless Footprint Semantics for Shared-memory Programs 2014 • Electronic Notes in Theoretical Computer Science • 308:65-86 Brookes S
Conference The essence of Reynolds 2014 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 251-255 Brookes S, O'Hearn PW, Reddy U
Conference Syntactic Control of Interference and Concurrent Separation Logic 2012 • Electronic Notes in Theoretical Computer Science • 286:87-102 Brookes S
Conference A Revisionist History of Concurrent Separation Logic 2011 • Electronic Notes in Theoretical Computer Science • 276:5-28 Brookes S
Journal Article Fairness, Resources, and Separation 2010 • Electronic Notes in Theoretical Computer Science • 265:177-195 Brookes S
Journal Article A semantics for concurrent separation logic 2007 • Theoretical Computer Science • 375(1-3):227-270 Brookes S
Journal Article A Grainless Semantics for Parallel Programs with Shared Mutable Data 2006 • Electronic Notes in Theoretical Computer Science • 155:277-307 Brookes S
Journal Article Retracing CSP 2006 • Electronic Notes in Theoretical Computer Science • 162:127-133 Brookes S
Journal Article Variables as Resource for Shared-Memory Programs: Semantics and Soundness 2006 • Electronic Notes in Theoretical Computer Science • 158:123-150 Brookes S
Conference Retracing the Semantics of CSP 2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3525:1-14 Brookes S
Journal Article A Semantics for Concurrent Separation Logic 2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3170:16-34 Brookes S
Journal Article The Essence of Parallel Algol 2002 • Information and Computation • 179(1):118-149 Brookes S
Conference Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes 2002 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 2421:466-482 Brookes S
Conference Preface Volume 45 2001 • Electronic Notes in Theoretical Computer Science • 45:463-464 Brookes S, Mislove M
Conference Transfer Principles for Reasoning About Concurrent Programs 2001 • Electronic Notes in Theoretical Computer Science • 45:22-40 Brookes S
Journal Article Proposal for an undergraduate computer science curriculum for the 1980s : part I, discussion 2000 Shaw M, Brookes S, Donner M, Driscoll JR, Pausch R, Scherlis W, Spector AZ
Conference Preface Volume 20 1999 • Electronic Notes in Theoretical Computer Science • 20:512-513 Brookes S, Jung A, Mislove M, Scedrov A
Conference Reasoning about recursive processes: Expansion is not always fair 1999 • Electronic Notes in Theoretical Computer Science • 20:182-201 Brookes S
Conference Idealized CSP: Combining Procedures With Communicating Processes 1997 • Electronic Notes in Theoretical Computer Science • 6:60-76 Brookes S
Conference Essence of parallel Algol 1996 • Proceedings - Symposium on Logic in Computer Science • 164-173 Brookes S
Journal Article Full Abstraction for a Shared-Variable Parallel Language 1996 • Information and Computation • 127(2):145-163 Brookes S
Conference A category-theoretic treatment of a parallel algol-like language 1995 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 953:180-181 Brookes S
Journal Article Full Abstraction for Strongly Fair Communicating Processes 1995 • Electronic Notes in Theoretical Computer Science • 1:46-65 Brookes S, Older S
Conference Sequential algorithms, deterministic parallelism, and intensional expressiveness 1995 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 13-24 Brookes S, Dancanet D
