Treffer 1 – 11 von 11 für Suche 'Stirling, Colin', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Modal and temporal properties of processes

    Modal and temporal properties of processes von Stirling, Colin

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert 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 von Stirling, Colin

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


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

    Modal and Temporal Properties of Processes von Stirling, Colin

    Veröffentlicht 2001
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Modal and temporal logics

    Modal and temporal logics von Stirling, Colin

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Modal logics for communicating systems

    Modal logics for communicating systems von Stirling, Colin

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


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

    Comparing linear and branching time temporal logics von Stirling, Colin

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Modal logics for communicating systems

    Modal logics for communicating systems von Stirling, Colin

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


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

    A proof theoretic characterization of observational equivalence von Stirling, Colin

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


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

    Future branching time logics and fairness von Stirling, Colin

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: