Conference Sequential algorithms, deterministic parallelism, and intensional expressiveness 1995 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 13-24 Brookes S, Dancanet D
Conference Sequential functions on indexed domains and full abstraction for a sub-language of PCF 1994 • Lecture Notes in Computer Science • 802:320-332 Brookes S, Geva S
Conference Full abstraction for a shared variable parallel language 1993 • Proceedings - Symposium on Logic in Computer Science • 98-109 Brookes S
Journal Article Historical introduction to “concrete domains” by G. Kahn and G.D. Plotkin 1993 • Theoretical Computer Science • 121(1-2):179-186 Brookes S
Journal Article Using fixed-point semantics to prove retiming lemmas 1993 • Formal methods in system design • 2(1):73-91 Brookes S
Conference Continuous functions and parallel algorithms on concrete data structures 1992 • Lecture Notes in Computer Science • 598:326-349 Brookes S, Geva S
Book Preface 1992 • Lecture Notes in Computer Science • 598 LNCS:VI Brookes S, Main M, Melton A, Mislove M, Schmidt D
Journal Article Towards a theory of parallel algorithms on concrete data structures 1992 • Theoretical Computer Science • 101(2):177-221 Brookes S, Geva S
Journal Article DEADLOCK ANALYSIS IN NETWORKS OF COMMUNICATING PROCESSES 1991 • Distributed Computing • 4(4):209-230 BROOKES SD, ROSCOE AW
Journal Article SEMANTICALLY BASED AXIOMATICS 1988 • Lecture Notes in Computer Science • 298:312-330 BROOKES SD
Journal Article A FULLY ABSTRACT SEMANTICS AND A PROOF SYSTEM FOR AN ALGOL-LIKE LANGUAGE WITH SHARING 1986 • Lecture Notes in Computer Science • 239:59-100 BROOKES SD
Conference SEMANTICALLY BASED PROOF SYSTEM FOR PARTIAL CORRECTNESS AND DEADLOCK IN CSP. 1986 58-65 Brookes SD
Conference An axiomatic treatment of a parallel programming language 1985 • Lecture Notes in Computer Science • 193:41-60 Brookes SD
Journal Article AN IMPROVED FAILURES MODEL FOR COMMUNICATING PROCESSES 1985 • Lecture Notes in Computer Science • 197:281-305 BROOKES SD, ROSCOE AW
Journal Article ON THE AXIOMATIC TREATMENT OF CONCURRENCY 1985 • Lecture Notes in Computer Science • 197:1-34 BROOKES SD
Journal Article A SEMANTICS AND PROOF SYSTEM FOR COMMUNICATING PROCESSES 1984 • Lecture Notes in Computer Science • 164:68-85 BROOKES SD
Journal Article A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES 1984 • Journal of the ACM • 31(3):560-599 BROOKES SD, HOARE CAR, ROSCOE AW
Journal Article BEHAVIORAL EQUIVALENCE-RELATIONS INDUCED BY PROGRAMMING LOGICS 1983 • Lecture Notes in Computer Science • 154:97-108 BROOKES SD, ROUNDS WC
Journal Article ON THE RELATIONSHIP OF CCS AND CSP 1983 • Lecture Notes in Computer Science • 154:83-96 BROOKES SD
Conference Possible futures, acceptances, refusals, and communicating processes 1981 • Annual Symposium on Foundations of Computer Science • 140-149 Rounds WC, Brookes SD
