Stephen D. Brookes

According to our database, Stephen D. Brookes authored at least 50 papers between 1981 and 2022.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2022

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

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

Proceedings of the 47th ESSCIRC 2021, 2021

CSP: A Practical Process Algebra.

Stephen D. Brookes, A. W. Roscoe

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2019

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

Proceedings of the IEEE International Solid- State Circuits Conference, 2019

2018

A Denotational Semantics for SPARC TSO.

Ryan Kavanagh, Stephen Brookes

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

A denotational account of C11-style memory.

Ryan Kavanagh, Stephen Brookes

CoRR, 2018

2016

Concurrent separation logic.

Stephen Brookes, Peter W. O'Hearn

ACM SIGLOG News, 2016

2014

The Essence of Reynolds.

Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy

Formal Aspects Comput., 2014

On Grainless Footprint Semantics for Shared-memory Programs.

Stephen Brookes

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

2013

Dedication.

Stephen Brookes, Benjamin C. Pierce, Gordon D. Plotkin, Dana S. Scott

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

2012

Dedication.

Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Syntactic Control of Interference and Concurrent Separation Logic.

Stephen Brookes

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2011

A Revisionist History of Concurrent Separation Logic.

Stephen Brookes

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

2010

Fairness, Resources, and Separation.

Stephen Brookes

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

2007

A semantics for concurrent separation logic.

Stephen Brookes

Theor. Comput. Sci., 2007

2006

Variables as Resource for Shared-Memory Programs: Semantics and Soundness.

Stephen D. Brookes

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2005

Retracing CSP.

Stephen Brookes

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

A Grainless Semantics for Parallel Programs with Shared Mutable Data.

Stephen Brookes

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

2004

Retracing the Semantics of CSP.

Stephen D. Brookes

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2002

Dedication.

Stephen D. Brookes, Michael W. Mislove

Theor. Comput. Sci., 2002

Foreword - MFPS 1996.

Stephen D. Brookes, Michael W. Mislove

Theor. Comput. Sci., 2002

The Essence of Parallel Algol.

Stephen D. Brookes

Inf. Comput., 2002

Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes.

Stephen D. Brookes

Proceedings of the CONCUR 2002, 2002

2001

Preface.

Stephen D. Brookes, Michael W. Mislove

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Transfer Principles for Reasoning About Concurrent Programs.

Stephen D. Brookes

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

1999

Preface.

Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Reasoning About Recursive Processes: Expansion is not Always Fair.

Stephen D. Brookes

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

1997

Foreword.

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Idealized CSP: combining procedures with communicating processes.

Stephen D. Brookes

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

1996

Full Abstraction for a Shared-Variable Parallel Language.

Stephen D. Brookes

Inf. Comput., 1996

1995

Foreword and Dedication.

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.

Stephen D. Brookes, Denis Dancanet

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

A Category-Theoretic Treatment of a Parallel Algol-Like Language.

Stephen D. Brookes

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1993

Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin.

Stephen D. Brookes

Theor. Comput. Sci., 1993

Using Fixed-Point Semantics to Prove Retiming Lemmas.

Stephen D. Brookes

Formal Methods Syst. Des., 1993

Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.

Stephen D. Brookes, Shai Geva

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992

Towards a Theory of Parallel Algorithms on Concrete Data Structures.

Stephen D. Brookes, Shai Geva

Theor. Comput. Sci., 1992

1991

Deadlock Analysis in Networks of Communicating Processes.

Stephen D. Brookes, A. W. Roscoe

Distributed Comput., 1991

Continuous Functions and Parallel Algorithms on Concrete Data Structures.

Stephen D. Brookes, Shai Geva

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1987

Semantically Based Axiomatics.

Stephen D. Brookes

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1986

A Semantically Based Proof System for Partial Correctness and Deadlock in CSP

Stephen D. Brookes

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing.

Stephen D. Brookes

Proceedings of the Mathematical Foundations of Programming Semantics, 1985

An Axiomatic Treatment of a Parallel Programming Language.

Stephen D. Brookes

Proceedings of the Logics of Programs, 1985

1984

A Theory of Communicating Sequential Processes.

Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe

J. ACM, 1984

An Improved Failures Model for Communicating Processes.

Stephen D. Brookes, A. W. Roscoe

Proceedings of the Seminar on Concurrency, 1984

On the Axiomatic Treatment of Concurrency.

Stephen D. Brookes

Proceedings of the Seminar on Concurrency, 1984

1983

A Semantics and Proof System for Communicating Processes.

Stephen D. Brookes

Proceedings of the Logics of Programs, 1983

Behavioural Equivalence Relations Induced by Programming Logics.

Stephen D. Brookes, William C. Rounds

Proceedings of the Automata, 1983

On the Relationship of CCS and CSP.

Stephen D. Brookes

Proceedings of the Automata, 1983

1981

Possible Futures, Acceptances, Refusals, and Communicating Processes

William C. Rounds, Stephen D. Brookes

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981