| 2006 |
|---|
| 39 | EE | Stephen D. Brookes:
Variables as Resource for Shared-Memory Programs: Semantics and Soundness.
Electr. Notes Theor. Comput. Sci. 158: 123-150 (2006) |
| 2004 |
|---|
| 38 | EE | Stephen D. Brookes:
Retracing the Semantics of CSP.
25 Years Communicating Sequential Processes 2004: 1-14 |
| 37 | EE | Stephen D. Brookes:
A Semantics for Concurrent Separation Logic.
CONCUR 2004: 16-34 |
| 2002 |
|---|
| 36 | EE | Stephen D. Brookes:
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes.
CONCUR 2002: 466-482 |
| 35 | EE | Stephen D. Brookes:
The Essence of Parallel Algol.
Inf. Comput. 179(1): 118-149 (2002) |
| 34 | EE | Stephen D. Brookes,
Michael W. Mislove:
Foreword - MFPS 1996.
Theor. Comput. Sci. 278(1-2): 1-2 (2002) |
| 33 | EE | Stephen D. Brookes,
Michael W. Mislove:
Dedication.
Theor. Comput. Sci. 278(1-2): 23 (2002) |
| 2001 |
|---|
| 32 | EE | Stephen D. Brookes,
Michael W. Mislove:
Preface.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 31 | EE | Stephen D. Brookes:
Transfer Principles for Reasoning About Concurrent Programs.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 1999 |
|---|
| 30 | EE | Stephen D. Brookes,
Achim Jung,
Michael W. Mislove,
Andre Scedrov:
Preface.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
| 29 | EE | Stephen D. Brookes:
Reasoning About Recursive Processes: Expansion is not Always Fair.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
| 1997 |
|---|
| 28 | EE | Stephen D. Brookes,
Michael G. Main,
Austin Melton,
Michael W. Mislove:
Foreword.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 27 | EE | Stephen D. Brookes:
Idealized CSP: combining procedures with communicating processes.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1996 |
|---|
| 26 | | Stephen D. Brookes:
The Essence of Parallel Algol.
LICS 1996: 164-173 |
| 25 | | Stephen D. Brookes:
Full Abstraction for a Shared-Variable Parallel Language.
Inf. Comput. 127(2): 145-163 (1996) |
| 1995 |
|---|
| 24 | | Stephen D. Brookes:
A Category-Theoretic Treatment of a Parallel Algol-Like Language.
Category Theory and Computer Science 1995: 180-181 |
| 23 | | Stephen D. Brookes,
Denis Dancanet:
Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.
POPL 1995: 13-24 |
| 22 | EE | Stephen D. Brookes,
Michael G. Main,
Austin Melton,
Michael W. Mislove:
Foreword and Dedication.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 1994 |
|---|
| 21 | | 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
Springer 1994 |
| 1993 |
|---|
| 20 | | Stephen D. Brookes:
Full Abstraction for a Shared Variable Parallel Language
LICS 1993: 98-109 |
| 19 | | Stephen D. Brookes,
Shai Geva:
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.
MFPS 1993: 320-332 |
| 18 | | Stephen D. Brookes:
Using Fixed-Point Semantics to Prove Retiming Lemmas.
Formal Methods in System Design 2(1): 73-91 (1993) |
| 17 | | Stephen D. Brookes:
Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin.
Theor. Comput. Sci. 121(1&2): 179-186 (1993) |
| 1992 |
|---|
| 16 | | 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
Springer 1992 |
| 15 | | Stephen D. Brookes,
Shai Geva:
Towards a Theory of Parallel Algorithms on Concrete Data Structures.
Theor. Comput. Sci. 101(2): 177-221 (1992) |
| 1991 |
|---|
| 14 | | Stephen D. Brookes,
Shai Geva:
Continuous Functions and Parallel Algorithms on Concrete Data Structures.
MFPS 1991: 326-349 |
| 13 | | Stephen D. Brookes,
A. W. Roscoe:
Deadlock Analysis in Networks of Communicating Processes.
Distributed Computing 4: 209-230 (1991) |
| 1987 |
|---|
| 12 | | Stephen D. Brookes:
Semantically Based Axiomatics.
MFPS 1987: 312-330 |
| 1986 |
|---|
| 11 | | Stephen D. Brookes:
A Semantically Based Proof System for Partial Correctness and Deadlock in CSP
LICS 1986: 58-65 |
| 1985 |
|---|
| 10 | | Stephen D. Brookes,
A. W. Roscoe,
Glynn Winskel:
Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984
Springer 1985 |
| 9 | | Stephen D. Brookes:
An Axiomatic Treatment of a Parallel Programming Language.
Logic of Programs 1985: 41-60 |
| 8 | | 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 |
| 1984 |
|---|
| 7 | | Stephen D. Brookes:
On the Axiomatic Treatment of Concurrency.
Seminar on Concurrency 1984: 1-34 |
| 6 | | Stephen D. Brookes,
A. W. Roscoe:
An Improved Failures Model for Communicating Processes.
Seminar on Concurrency 1984: 281-305 |
| 5 | EE | Stephen D. Brookes,
C. A. R. Hoare,
A. W. Roscoe:
A Theory of Communicating Sequential Processes.
J. ACM 31(3): 560-599 (1984) |
| 1983 |
|---|
| 4 | | Stephen D. Brookes:
On the Relationship of CCS and CSP.
ICALP 1983: 83-96 |
| 3 | | Stephen D. Brookes,
William C. Rounds:
Behavioural Equivalence Relations Induced by Programming Logics.
ICALP 1983: 97-108 |
| 2 | | Stephen D. Brookes:
A Semantics and Proof System for Communicating Processes.
Logic of Programs 1983: 68-85 |
| 1981 |
|---|
| 1 | | William C. Rounds,
Stephen D. Brookes:
Possible Futures, Acceptances, Refusals, and Communicating Processes
FOCS 1981: 140-149 |
