Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Stephen D.
    Last name: Brookes
    DBLP: 30/3507
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 38  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Ryan Kavanagh, Stephen D. Brookes.
    A Denotational Semantics for SPARC TSO.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Stephen D. Brookes, Achim Jung, Catherine A. Meadows, Michael W. Mislove, Prakash Panangaden.
    Dedication.
    Electr. Notes Theor. Comput. Sci. 2012, Volume 286 (0) 2012
    Conference paper
    Stephen D. Brookes.
    Variables as Resource for Shared-Memory Programs: Semantics and Soundness.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 158 (0) 2006
    Conference paper
    Stephen D. Brookes.
    Retracing the Semantics of CSP.
    Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers 2005 (0) 2004
    Conference paper
    Stephen D. Brookes.
    A Semantics for Concurrent Separation Logic.
    CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Stephen D. Brookes.
    Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes.
    CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Stephen D. Brookes.
    The Essence of Parallel Algol.
    Inf. Comput. 2002, Volume 179 (0) 2002
    Conference paper
    Stephen D. Brookes, Michael W. Mislove.
    Foreword - MFPS 1996.
    Theor. Comput. Sci. 2002, Volume 278 (0) 2002
    Conference paper
    Stephen D. Brookes, Michael W. Mislove.
    Dedication.
    Theor. Comput. Sci. 2002, Volume 278 (0) 2002
    Conference paper
    Stephen D. Brookes.
    Transfer Principles for Reasoning About Concurrent Programs.
    Electr. Notes Theor. Comput. Sci. 2001, Volume 45 (0) 2001
    Show item 1 to 10 of 38  

    Your query returned 38 matches in the database.