Stephen D. Brookes

Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden: Dedication. Electr. Notes Theor. Comput. Sci. 286: 3 (2012)

Stephen D. Brookes: Variables as Resource for Shared-Memory Programs: Semantics and Soundness. Electr. Notes Theor. Comput. Sci. 158: 123-150 (2006)

Stephen D. Brookes: Retracing the Semantics of CSP. 25 Years Communicating Sequential Processes 2004: 1-14

Stephen D. Brookes: A Semantics for Concurrent Separation Logic. CONCUR 2004: 16-34

Stephen D. Brookes: The Essence of Parallel Algol. Inf. Comput. 179(1): 118-149 (2002)

Stephen D. Brookes, Michael W. Mislove: Foreword - MFPS 1996. Theor. Comput. Sci. 278(1-2): 1-2 (2002)

Stephen D. Brookes, Michael W. Mislove: Dedication. Theor. Comput. Sci. 278(1-2): 23 (2002)

Stephen D. Brookes: Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. CONCUR 2002: 466-482

Stephen D. Brookes: Transfer Principles for Reasoning About Concurrent Programs. Electr. Notes Theor. Comput. Sci. 45: 22-40 (2001)

Stephen D. Brookes, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 45: 463-464 (2001)

Stephen D. Brookes: Reasoning About Recursive Processes: Expansion is not Always Fair. Electr. Notes Theor. Comput. Sci. 20: 182-201 (1999)

Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov: Preface. Electr. Notes Theor. Comput. Sci. 20: 512-513 (1999)

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove: Foreword. Electr. Notes Theor. Comput. Sci. 6: 1-2 (1997)

Stephen D. Brookes: Idealized CSP: combining procedures with communicating processes. Electr. Notes Theor. Comput. Sci. 6: 60-76 (1997)

Stephen D. Brookes: Full Abstraction for a Shared-Variable Parallel Language. Inf. Comput. 127(2): 145-163 (1996)

Stephen D. Brookes: The Essence of Parallel Algol. LICS 1996: 164-173

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove: Foreword and Dedication. Electr. Notes Theor. Comput. Sci. 1: 557-558 (1995)

Stephen D. Brookes: A Category-Theoretic Treatment of a Parallel Algol-Like Language. Category Theory and Computer Science 1995: 180-181

Stephen D. Brookes, Denis Dancanet: Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness. POPL 1995: 13-24

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): 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

Stephen D. Brookes: Using Fixed-Point Semantics to Prove Retiming Lemmas. Formal Methods in System Design 2(1): 73-91 (1993)

Stephen D. Brookes: Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin. Theor. Comput. Sci. 121(1&2): 179-186 (1993)

Stephen D. Brookes: Full Abstraction for a Shared Variable Parallel Language. LICS 1993: 98-109

Stephen D. Brookes, Shai Geva: Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. MFPS 1993: 320-332

Stephen D. Brookes, Shai Geva: Towards a Theory of Parallel Algorithms on Concrete Data Structures. Theor. Comput. Sci. 101(2): 177-221 (1992)

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): 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

Stephen D. Brookes, A. W. Roscoe: Deadlock Analysis in Networks of Communicating Processes. Distributed Computing 4: 209-230 (1991)

Stephen D. Brookes, Shai Geva: Continuous Functions and Parallel Algorithms on Concrete Data Structures. MFPS 1991: 326-349

Stephen D. Brookes: Semantically Based Axiomatics. MFPS 1987: 312-330

Stephen D. Brookes: A Semantically Based Proof System for Partial Correctness and Deadlock in CSP. LICS 1986: 58-65

Stephen D. Brookes: An Axiomatic Treatment of a Parallel Programming Language. Logic of Programs 1985: 41-60

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

Stephen D. Brookes, A. W. Roscoe, Glynn Winskel (Eds.): 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

Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe: A Theory of Communicating Sequential Processes. J. ACM 31(3): 560-599 (1984)

Stephen D. Brookes: On the Axiomatic Treatment of Concurrency. Seminar on Concurrency 1984: 1-34

Stephen D. Brookes, A. W. Roscoe: An Improved Failures Model for Communicating Processes. Seminar on Concurrency 1984: 281-305

Stephen D. Brookes: On the Relationship of CCS and CSP. ICALP 1983: 83-96

Stephen D. Brookes, William C. Rounds: Behavioural Equivalence Relations Induced by Programming Logics. ICALP 1983: 97-108

Stephen D. Brookes: A Semantics and Proof System for Communicating Processes. Logic of Programs 1983: 68-85

William C. Rounds, Stephen D. Brookes: Possible Futures, Acceptances, Refusals, and Communicating Processes. FOCS 1981: 140-149