Stephen D. Brookes - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2021

CSP: A Practical Process AlgebraStephen D. Brookes, A. W. Roscoe 0001. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 187-222, ACM / Morgan & Claypool, 2021. [doi]

2012

DedicationStephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden. ENTCS, 286:3, 2012. [doi]

2006

Variables as Resource for Shared-Memory Programs: Semantics and SoundnessStephen D. Brookes. ENTCS, 158:123-150, 2006. [doi]

2004

Retracing the Semantics of CSPStephen D. Brookes. BIRTHDAY 2005: 1-14 [doi]

A Semantics for Concurrent Separation LogicStephen D. Brookes. concur 2004: 16-34 [doi]

2002

The Essence of Parallel AlgolStephen D. Brookes. iandc, 179(1):118-149, 2002. [doi]

Traces, Pomsets, Fairness and Full Abstraction for Communicating ProcessesStephen D. Brookes. concur 2002: 466-482 [doi]

DedicationStephen D. Brookes, Michael W. Mislove. TCS, 278(1-2):23, 2002. [doi]

Foreword - MFPS 1996Stephen D. Brookes, Michael W. Mislove. TCS, 278(1-2):1-2, 2002. [doi]

2001

Transfer Principles for Reasoning About Concurrent ProgramsStephen D. Brookes. ENTCS, 45:22-40, 2001. [doi]

PrefaceStephen D. Brookes, Michael W. Mislove. ENTCS, 45:463-464, 2001. [doi]

1999

Reasoning About Recursive Processes: Expansion is not Always FairStephen D. Brookes. ENTCS, 20:182-201, 1999. [doi]

PrefaceStephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov. ENTCS, 20:512-513, 1999. [doi]

1997

Idealized CSP: combining procedures with communicating processesStephen D. Brookes. ENTCS, 6:60-76, 1997. [doi]

ForewordStephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove. ENTCS, 6:1-2, 1997. [doi]

1996

Full Abstraction for a Shared-Variable Parallel LanguageStephen D. Brookes. iandc, 127(2):145-163, 1996.

The Essence of Parallel AlgolStephen D. Brookes. lics 1996: 164-173

1995

Foreword and DedicationStephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove. ENTCS, 1:557-558, 1995. [doi]

A Category-Theoretic Treatment of a Parallel Algol-Like LanguageStephen D. Brookes. ctcs 1995: 180-181

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

1993

Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCFStephen D. Brookes, Shai Geva. mfps 1994: 320-332

Full Abstraction for a Shared Variable Parallel LanguageStephen D. Brookes. lics 1993: 98-109

Using Fixed-Point Semantics to Prove Retiming LemmasStephen D. Brookes. fmsd, 2(1):73-91, 1993.

Historical Introduction to Concrete Domains by G. Kahn and Gordon D. PlotkinStephen D. Brookes. TCS, 121(1&2):179-186, 1993.

1992

Towards a Theory of Parallel Algorithms on Concrete Data StructuresStephen D. Brookes, Shai Geva. TCS, 101(2):177-221, 1992.

1991

Deadlock Analysis in Networks of Communicating ProcessesStephen D. Brookes, A. W. Roscoe. dc, 4:209-230, 1991.

Continuous Functions and Parallel Algorithms on Concrete Data StructuresStephen D. Brookes, Shai Geva. mfps 1992: 326-349

1987

Semantically Based AxiomaticsStephen D. Brookes. mfps 1988: 312-330

1986

A Semantically Based Proof System for Partial Correctness and Deadlock in CSPStephen D. Brookes. lics 1986: 58-65

1985

An Axiomatic Treatment of a Parallel Programming LanguageStephen D. Brookes. lop 1985: 41-60

A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with SharingStephen D. Brookes. mfps 1986: 59-100

1984

An Improved Failures Model for Communicating ProcessesStephen D. Brookes, A. W. Roscoe. concur 1985: 281-305

On the Axiomatic Treatment of ConcurrencyStephen D. Brookes. concur 1985: 1-34

Deadlock Analysis in Networks of Communicating ProcessesStephen D. Brookes, A. W. Roscoe. nato 1985: 305-323 [doi]

A Theory of Communicating Sequential ProcessesStephen D. Brookes, C. A. R. Hoare, A. W. Roscoe. JACM, 31(3):560-599, 1984. [doi]

1983

Behavioural Equivalence Relations Induced by Programming LogicsStephen D. Brookes, William C. Rounds. icalp 1983: 97-108

A Semantics and Proof System for Communicating ProcessesStephen D. Brookes. lop 1984: 68-85

On the Relationship of CCS and CSPStephen D. Brookes. icalp 1983: 83-96

1981

Possible Futures, Acceptances, Refusals, and Communicating ProcessesWilliam C. Rounds, Stephen D. Brookes. focs 1981: 140-149

Sign in or sign up to see more results.

runs on WebDSL