Treffer 1 – 8 von 8 für Suche 'Roscoe, A. W.', Suchdauer: 0,04s 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
    Denotational semantics for Occam 2

    Denotational semantics for Occam 2 von Goldsmith, M. H., Roscoe, A. W., Scott, B. G. O.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Understanding Concurrent Systems

    Understanding Concurrent Systems von Roscoe, A. W.

    Veröffentlicht 2010
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Maintaining consistency in distributed databases

    Maintaining consistency in distributed databases von Roscoe, A. W.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Deadlock analysis in networks of communicating processes

    Deadlock analysis in networks of communicating processes von Brookes, Stephen D., Roscoe, A. W.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A theory of communicating sequential processes

    A theory of communicating sequential processes von Hoare, Charles A. R. 1934-, Brookes, Stephen D., Roscoe, A. W.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The pursuit of deadlock freedom

    The pursuit of deadlock freedom von Roscoe, A. W., Dathi, Naiem

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The laws of Occam programming

    The laws of Occam programming von Roscoe, A. W., Hoare, Charles A. R. 1934-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A theory of communicating sequential processes

    A theory of communicating sequential processes von Hoare, Charles A. R. 1934-, Brookes, Stephen D., Roscoe, A. W.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: