dblp.uni-trier.dewww.uni-trier.de

Stephen D. Brookes Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
39EEStephen D. Brookes: Variables as Resource for Shared-Memory Programs: Semantics and Soundness. Electr. Notes Theor. Comput. Sci. 158: 123-150 (2006)
2004
38EEStephen D. Brookes: Retracing the Semantics of CSP. 25 Years Communicating Sequential Processes 2004: 1-14
37EEStephen D. Brookes: A Semantics for Concurrent Separation Logic. CONCUR 2004: 16-34
2002
36EEStephen D. Brookes: Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. CONCUR 2002: 466-482
35EEStephen D. Brookes: The Essence of Parallel Algol. Inf. Comput. 179(1): 118-149 (2002)
34EEStephen D. Brookes, Michael W. Mislove: Foreword - MFPS 1996. Theor. Comput. Sci. 278(1-2): 1-2 (2002)
33EEStephen D. Brookes, Michael W. Mislove: Dedication. Theor. Comput. Sci. 278(1-2): 23 (2002)
2001
32EEStephen D. Brookes, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 45: (2001)
31EEStephen D. Brookes: Transfer Principles for Reasoning About Concurrent Programs. Electr. Notes Theor. Comput. Sci. 45: (2001)
1999
30EEStephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov: Preface. Electr. Notes Theor. Comput. Sci. 20: (1999)
29EEStephen D. Brookes: Reasoning About Recursive Processes: Expansion is not Always Fair. Electr. Notes Theor. Comput. Sci. 20: (1999)
1997
28EEStephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove: Foreword. Electr. Notes Theor. Comput. Sci. 6: (1997)
27EEStephen 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
22EEStephen 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
19EEStephen 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
14EEStephen 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
12EEStephen 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
8EEStephen 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
7EEStephen D. Brookes: On the Axiomatic Treatment of Concurrency. Seminar on Concurrency 1984: 1-34
6EEStephen D. Brookes, A. W. Roscoe: An Improved Failures Model for Communicating Processes. Seminar on Concurrency 1984: 281-305
5EEStephen D. Brookes, C. A. R. Hoare, A. W. Roscoe: A Theory of Communicating Sequential Processes. J. ACM 31(3): 560-599 (1984)
1983
4EEStephen D. Brookes: On the Relationship of CCS and CSP. ICALP 1983: 83-96
3EEStephen 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

Coauthor Index

1Denis Dancanet [23]
2Shai Geva [14] [15] [19]
3C. A. R. Hoare (Tony Hoare) [5]
4Achim Jung [30]
5Michael G. Main [16] [21] [22] [28]
6Austin Melton [16] [21] [22] [28]
7Michael W. Mislove [16] [21] [22] [28] [30] [32] [33] [34]
8A. W. Roscoe (A. William Roscoe, Bill Roscoe) [5] [6] [10] [13]
9William C. Rounds [1] [3]
10Andre Scedrov [30]
11David A. Schmidt [16] [21]
12Glynn Winskel [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)