The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Stephen D. Brookes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.322secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002