Stephen D. Brookes

Publication Activity (10 Years)

Years Active: 1981-2012
Publications (10 Years): 0

Publications

Stephen D. Brookes, Achim Jung, Catherine A. Meadows, Michael W. Mislove, Prakash Panangaden
Dedication. MFPS (2012)
Stephen D. Brookes, Michael W. Mislove
Preface. MFPS (2006)
Stephen D. Brookes
Variables as Resource for Shared-Memory Programs: Semantics and Soundness. MFPS (2006)
Stephen D. Brookes
A Semantics for Concurrent Separation Logic. CONCUR (2004)
Stephen D. Brookes
Retracing the Semantics of CSP. 25 Years Communicating Sequential Processes (2004)
Stephen D. Brookes
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. CONCUR (2002)
Stephen D. Brookes, Michael W. Mislove
Dedication. Theor. Comput. Sci. 278 (1-2) (2002)
Stephen D. Brookes, Michael W. Mislove
Foreword - MFPS 1996. Theor. Comput. Sci. 278 (1-2) (2002)
Stephen D. Brookes
The Essence of Parallel Algol. Inf. Comput. 179 (1) (2002)
Stephen D. Brookes
Transfer Principles for Reasoning About Concurrent Programs. MFPS (2001)
Stephen D. Brookes, Michael W. Mislove
Preface. MFPS (2001)
Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
Preface. MFPS (1999)
Stephen D. Brookes
Reasoning About Recursive Processes: Expansion is not Always Fair. MFPS (1999)
Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
Foreword. MFPS (1997)
Stephen D. Brookes
Idealized CSP: combining procedures with communicating processes. MFPS (1997)
Stephen D. Brookes
The Essence of Parallel Algol. LICS (1996)
Stephen D. Brookes
Full Abstraction for a Shared-Variable Parallel Language. Inf. Comput. 127 (2) (1996)
Stephen D. Brookes
A Category-Theoretic Treatment of a Parallel Algol-Like Language. Category Theory and Computer Science (1995)
Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove
Foreword and Dedication. MFPS (1995)
Stephen D. Brookes, Denis Dancanet
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. POPL (1995)
Stephen D. Brookes
Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin. Theor. Comput. Sci. 121 (1&2) (1993)
Stephen D. Brookes, Shai Geva
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. MFPS (1993)
Stephen D. Brookes
Using Fixed-Point Semantics to Prove Retiming Lemmas. Formal Methods Syst. Des. 2 (1) (1993)
Stephen D. Brookes
Full Abstraction for a Shared Variable Parallel Language LICS (1993)
Stephen D. Brookes, Shai Geva
Towards a Theory of Parallel Algorithms on Concrete Data Structures. Theor. Comput. Sci. 101 (2) (1992)
Stephen D. Brookes, A. W. Roscoe
Deadlock Analysis in Networks of Communicating Processes. Distributed Comput. 4 (1991)
Stephen D. Brookes, Shai Geva
Continuous Functions and Parallel Algorithms on Concrete Data Structures. MFPS (1991)
Stephen D. Brookes
Semantically Based Axiomatics. MFPS (1987)
Stephen D. Brookes
A Semantically Based Proof System for Partial Correctness and Deadlock in CSP LICS (1986)
Stephen D. Brookes
An Axiomatic Treatment of a Parallel Programming Language. Logic of Programs (1985)
Stephen D. Brookes
A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. Mathematical Foundations of Programming Semantics (1985)
Stephen D. Brookes, A. W. Roscoe
Deadlock Analysis in Networks of Communicating Processes. Logics and Models of Concurrent Systems (1984)
Stephen D. Brookes
On the Axiomatic Treatment of Concurrency. Seminar on Concurrency (1984)
Stephen D. Brookes, A. W. Roscoe
An Improved Failures Model for Communicating Processes. Seminar on Concurrency (1984)
Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe
A Theory of Communicating Sequential Processes. J. ACM 31 (3) (1984)
Stephen D. Brookes
A Semantics and Proof System for Communicating Processes. Logic of Programs (1983)
Stephen D. Brookes
On the Relationship of CCS and CSP. ICALP (1983)
Stephen D. Brookes, William C. Rounds
Behavioural Equivalence Relations Induced by Programming Logics. ICALP (1983)
William C. Rounds, Stephen D. Brookes
Possible Futures, Acceptances, Refusals, and Communicating Processes FOCS (1981)