Suchergebnisse - Stomp, Frank A.

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

    A principle for sequential reasoning about distributed algorithms
    von Stomp, Frank A., Roever, Willem-Paul de 1943-

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A proof system for asynchronously communicating sequential processes
    von Francez, Nissim, Stomp, Frank A.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Structured design of self-stabilizing programs: extended abstract
    von Stomp, Frank A.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Principles for sequential reasoning about distributed algorithms
    von Stomp, Frank A., Roever, Willem-Paul de 1943-

    Veröffentlicht 1992
    Buch


    Gespeichert in:

Suchwerkzeuge: