Search Results - Stirling, Colin

  • Showing 1 – 12 results of 12
Filter by
  1. 1
    Cover Image

    Modal and temporal properties of processes
    by Stirling, Colin

    Published 2001
    Table of Contents
    Book


    Saved in:
  2. 2
    Cover Image

    A compositional reformulation of Owicki-Gries's partial correctness logic for a parallel while language
    by Stirling, Colin

    Published 1985
    Book


    Saved in:
  3. 3
    Cover Image

    The power of the future perfect in program logics
    by Hennessy, Matthew C., Stirling, Colin

    Published 1983
    Book


    Saved in:
  4. 4
    Cover Image

    Modal logics for communicating systems
    by Stirling, Colin

    Published 1985
    Book


    Saved in:
  5. 5
    Cover Image

    A proof theoretic characterization of observational equivalence
    by Stirling, Colin

    Published 1983
    Book


    Saved in:
  6. 6
    Cover Image

    A fair calculus of communicating systems
    by Costa, Gerardo, Stirling, Colin

    Published 1983
    Book


    Saved in:
  7. 7
    Cover Image

    Future branching time logics and fairness
    by Stirling, Colin

    Published 1982
    Book


    Saved in:
  8. 8
    Cover Image

    Proof, language, and interaction: essays in honour of Robin Milner

    Published 2000
    Other Authors: “…Stirling, Colin P.…”
    Read online
    eBook


    Saved in:
  9. 9
    Cover Image

    Modal and Temporal Properties of Processes
    by Stirling, Colin

    Published 2001
    Electronic eBook


    Saved in:
  10. 10
    Cover Image

    Modal and temporal logics
    by Stirling, Colin

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Modal logics for communicating systems
    by Stirling, Colin

    Published 1987
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Comparing linear and branching time temporal logics
    by Stirling, Colin

    Published 1987
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: