Suchergebnisse - Brookes, Stephen D.

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Reasoning about synchronous systems
    von Brookes, Stephen D.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A model for communicating sequential processes
    von Brookes, Stephen D.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A model for communicating sequential processes
    von Brookes, Stephen D.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Seminar on Concurrency: Carnegie-Mellon Univ., Pittsburgh, PA, July 9 - 11, 1984

    Veröffentlicht 1985
    Weitere beteiligte Personen: “… Brookes, Stephen D. …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: