Journal Article A denotational semantics for Sparc Tso 2019 • Logical Methods in Computer Science • 15(2):10:1-10:23 Kavanagh R, Brookes S
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(1):5-28 Brookes S
Journal Article Fairness, resources, and separation 2010 • Electronic Notes in Theoretical Computer Science • 265(C):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(1 SPEC. ISS.):277-307 Brookes S
Journal Article Retracing CSP 2006 • Electronic Notes in Theoretical Computer Science • 162(1):127-133 Brookes S
Journal Article Variables as Resource for Shared-Memory Programs: Semantics and Soundness 2006 • Electronic Notes in Theoretical Computer Science • 158(1):123-150 Brookes S
Conference Retracing the semantics of CSP 2005 • Lecture Notes in Computer Science • 3525:1-14 Brookes S
Journal Article A semantics for concurrent separation logic 2004 • Lecture Notes in Computer Science • 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 • 2421 LNCS:466-482 Brookes S
Conference Electronic Notes in Theoretical Computer Science: Preface 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 Electronic Notes in Theoretical Computer Science: Preface 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 • 953:180-181 Brookes S
Journal Article Full Abstraction for Strongly Fair Communicating Processes 1995 • Electronic Notes in Theoretical Computer Science • 1(C):46-65 Brookes S, Older S
