default search action
Stephen D. Brookes
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, PA, USA
- award (2016): Gödel Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j14]Dawei Mai
, Yann Donnelly, Michael Peter Kennedy
Wandering Spur Suppression in a 4.9-GHz Fractional-N Frequency Synthesizer. IEEE J. Solid State Circuits 57(7): 2011-2023 (2022) - 2021
- [c41]Dawei Mai, Yann Donnelly, Michael Peter Kennedy, Stefano Tulisi, James Breslin, Patrick Griffin, Michael Connor, Stephen Brookes, Brian Shelly, Michael Keaveney:
Experimental Verification of Wandering Spur Suppression Technique in a 4.9 GHz Fractional-N Frequency Synthesizer. ESSCIRC 2021: 439-442 - [p1]Stephen D. Brookes, A. W. Roscoe:
CSP: A Practical Process Algebra. Theories of Programming 2021: 187-222
2010 – 2019
- 2019
- [j13]Ryan Kavanagh
A Denotational Semantics for SPARC TSO. Log. Methods Comput. Sci. 15(2) (2019) - [c40]Michael Peter Kennedy, Yann Donnelly
4.48GHz 0.18μm SiGe BiCMOS Exact-Frequency Fractional-N Frequency Synthesizer with Spurious-Tone Suppression Yielding a -80dBc In-Band Fractional Spur. ISSCC 2019: 272-274 - 2018
- [c39]Ryan Kavanagh
A Denotational Semantics for SPARC TSO. MFPS 2018: 223-239 - [i2]Ryan Kavanagh, Stephen Brookes:
A denotational account of C11-style memory. CoRR abs/1804.04214 (2018) - 2017
- [i1]Ryan Kavanagh
A Denotational Semantics for SPARC TSO. CoRR abs/1711.00931 (2017) - 2016
- [j12]Stephen Brookes, Peter W. O'Hearn:
Concurrent separation logic. ACM SIGLOG News 3(3): 47-65 (2016) - 2014
- [j11]Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy:
The Essence of Reynolds. Formal Aspects Comput. 26(3): 435-439 (2014) - [c38]Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy:
The essence of Reynolds. POPL 2014: 251-256 - [c37]Stephen Brookes:
On Grainless Footprint Semantics for Shared-memory Programs. MFPS 2014: 65-86 - 2013
- [c36]Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott:
Dedication. MFPS 2013: 3-5 - 2012
- [c35]Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden:
Dedication. MFPS 2012: 3 - [c34]Stephen Brookes:
Syntactic Control of Interference and Concurrent Separation Logic. MFPS 2012: 87-102 - 2011
- [c33]Stephen Brookes:
A Revisionist History of Concurrent Separation Logic. MFPS 2011: 5-28 - 2010
- [c32]Stephen Brookes:
Fairness, Resources, and Separation. MFPS 2010: 177-195
2000 – 2009
- 2007
- [j10]Stephen Brookes:
A semantics for concurrent separation logic. Theor. Comput. Sci. 375(1-3): 227-270 (2007) - 2006
- [c31]Stephen D. Brookes, Michael W. Mislove
Preface. MFPS 2006: 1-2 - [c30]Stephen D. Brookes:
Variables as Resource for Shared-Memory Programs: Semantics and Soundness. MFPS 2006: 123-150 - [e9]Stephen D. Brookes, Michael W. Mislove:
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006. Electronic Notes in Theoretical Computer Science 158, Elsevier 2006 [contents] - 2005
- [c29]Stephen Brookes:
Retracing CSP. APC 25 2005: 127-133 - [c28]Stephen Brookes:
A Grainless Semantics for Parallel Programs with Shared Mutable Data. MFPS 2005: 277-307 - 2004
- [c27]Stephen D. Brookes:
Retracing the Semantics of CSP. 25 Years Communicating Sequential Processes 2004: 1-14 - [c26]Stephen D. Brookes:
A Semantics for Concurrent Separation Logic. CONCUR 2004: 16-34 - 2003
- [e8]Stephen D. Brookes, Prakash Panangaden:
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003. Electronic Notes in Theoretical Computer Science 83, Elsevier 2003 [contents] - 2002
- [j9]Stephen D. Brookes:
The Essence of Parallel Algol. Inf. Comput. 179(1): 118-149 (2002) - [j8]Stephen D. Brookes, Michael W. Mislove:
Foreword - MFPS 1996. Theor. Comput. Sci. 278(1-2): 1-2 (2002) - [j7]Stephen D. Brookes, Michael W. Mislove:
Dedication. Theor. Comput. Sci. 278(1-2): 23 (2002) - [c25]Stephen D. Brookes:
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. CONCUR 2002: 466-482 - 2001
- [c24]Stephen D. Brookes:
Transfer Principles for Reasoning About Concurrent Programs. MFPS 2001: 22-40 - [c23]Stephen D. Brookes, Michael W. Mislove
Preface. MFPS 2001: 463-464 - [e7]Stephen D. Brookes, Michael W. Mislove:
Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001. Electronic Notes in Theoretical Computer Science 45, Elsevier 2001 [contents]
1990 – 1999
- 1999
- [c22]Stephen D. Brookes:
Reasoning About Recursive Processes: Expansion is not Always Fair. MFPS 1999: 182-201 - [c21]Stephen D. Brookes, Achim Jung, Michael W. Mislove
Preface. MFPS 1999: 512-513 - [e6]Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov:
Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999. Electronic Notes in Theoretical Computer Science 20, Elsevier 1999 [contents] - 1997
- [c20]Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
Foreword. MFPS 1997: 1-2 - [c19]Stephen D. Brookes:
Idealized CSP: combining procedures with communicating processes. MFPS 1997: 60-76 - [e5]Stephen D. Brookes, Michael W. Mislove:
Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997. Electronic Notes in Theoretical Computer Science 6, Elsevier 1997 [contents] - 1996
- [j6]Stephen D. Brookes:
Full Abstraction for a Shared-Variable Parallel Language. Inf. Comput. 127(2): 145-163 (1996) - [c18]Stephen D. Brookes:
The Essence of Parallel Algol. LICS 1996: 164-173 - 1995
- [c17]Stephen D. Brookes:
A Category-Theoretic Treatment of a Parallel Algol-Like Language. Category Theory and Computer Science 1995: 180-181 - [c16]Stephen D. Brookes, Denis Dancanet:
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. POPL 1995: 13-24 - [c15]Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
Foreword and Dedication. MFPS 1995: 557-558 - [e4]Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove:
Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995. Electronic Notes in Theoretical Computer Science 1, Elsevier 1995 [contents] - 1994
- [e3]Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Lecture Notes in Computer Science 802, Springer 1994, ISBN 3-540-58027-1 [contents] - 1993
- [j5]Stephen D. Brookes:
Using Fixed-Point Semantics to Prove Retiming Lemmas. Formal Methods Syst. Des. 2(1): 73-91 (1993) - [j4]Stephen D. Brookes:
Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin. Theor. Comput. Sci. 121(1&2): 179-186 (1993) - [c14]Stephen D. Brookes:
Full Abstraction for a Shared Variable Parallel Language. LICS 1993: 98-109 - [c13]Stephen D. Brookes, Shai Geva:
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. MFPS 1993: 320-332 - 1992
- [j3]Stephen D. Brookes, Shai Geva:
Towards a Theory of Parallel Algorithms on Concrete Data Structures. Theor. Comput. Sci. 101(2): 177-221 (1992) - [e2]Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Lecture Notes in Computer Science 598, Springer 1992, ISBN 3-540-55511-0 [contents] - 1991
- [j2]Stephen D. Brookes, A. W. Roscoe:
Deadlock Analysis in Networks of Communicating Processes. Distributed Comput. 4: 209-230 (1991) - [c12]Stephen D. Brookes, Shai Geva:
Continuous Functions and Parallel Algorithms on Concrete Data Structures. MFPS 1991: 326-349
1980 – 1989
- 1987
- [c11]Stephen D. Brookes:
Semantically Based Axiomatics. MFPS 1987: 312-330 - 1986
- [c10]Stephen D. Brookes:
A Semantically Based Proof System for Partial Correctness and Deadlock in CSP. LICS 1986: 58-65 - 1985
- [c9]Stephen D. Brookes:
An Axiomatic Treatment of a Parallel Programming Language. Logic of Programs 1985: 41-60 - [c8]Stephen D. Brookes:
A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. Mathematical Foundations of Programming Semantics 1985: 59-100 - [e1]Stephen D. Brookes, A. W. Roscoe, Glynn Winskel:
Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984. Lecture Notes in Computer Science 197, Springer 1985, ISBN 3-540-15670-4 [contents] - 1984
- [j1]Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe:
A Theory of Communicating Sequential Processes. J. ACM 31(3): 560-599 (1984) - [c7]Stephen D. Brookes:
On the Axiomatic Treatment of Concurrency. Seminar on Concurrency 1984: 1-34 - [c6]Stephen D. Brookes, A. W. Roscoe:
An Improved Failures Model for Communicating Processes. Seminar on Concurrency 1984: 281-305 - [c5]Stephen D. Brookes, A. W. Roscoe:
Deadlock Analysis in Networks of Communicating Processes. Logics and Models of Concurrent Systems 1984: 305-323 - 1983
- [c4]Stephen D. Brookes:
On the Relationship of CCS and CSP. ICALP 1983: 83-96 - [c3]Stephen D. Brookes, William C. Rounds:
Behavioural Equivalence Relations Induced by Programming Logics. ICALP 1983: 97-108 - [c2]Stephen D. Brookes:
A Semantics and Proof System for Communicating Processes. Logic of Programs 1983: 68-85 - 1981
- [c1]William C. Rounds, Stephen D. Brookes:
Possible Futures, Acceptances, Refusals, and Communicating Processes. FOCS 1981: 140-149
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: