Colin Stirling

Colin Stirling at the Flinders University Investigator Lecture in Adelaide, 2016 Colin J. Stirling is a university executive and academic. He lives in Adelaide, South Australia, where he has held the position of vice-chancellor of Flinders University since 2015.

His academic background is in biology. Provided by Wikipedia
Showing 1 - 11 results of 11 for search 'Stirling, Colin', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Modal and temporal properties of processes

    Modal and temporal properties of processes by Stirling, Colin

    Published 2001
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    A compositional reformulation of Owicki-Gries's partial correctness logic for a parallel while language

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

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    The power of the future perfect in program logics

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

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Modal and Temporal Properties of Processes

    Modal and Temporal Properties of Processes by Stirling, Colin

    Published 2001
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Modal and temporal logics

    Modal and temporal logics by Stirling, Colin

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Modal logics for communicating systems

    Modal logics for communicating systems by Stirling, Colin

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Comparing linear and branching time temporal logics

    Comparing linear and branching time temporal logics by Stirling, Colin

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Modal logics for communicating systems

    Modal logics for communicating systems by Stirling, Colin

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    A proof theoretic characterization of observational equivalence

    A proof theoretic characterization of observational equivalence by Stirling, Colin

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    A fair calculus of communicating systems

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

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Future branching time logics and fairness

    Future branching time logics and fairness by Stirling, Colin

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: