Suchergebnisse - Pappalardo, Giuseppe

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

    A formal treatment of interference in remote procedure calls
    von Pappalardo, Giuseppe, Shrivastava, Santosh K.

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The join algorithm: ordering messages in replicated systems
    von Mancini, Luigi V., Pappalardo, Giuseppe

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Proving correctness properties of a replicated synchronous program
    von Mancini, Luigi V., Pappalardo, Giuseppe

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Towards a theory of replicated processing
    von Mancini, Luigi V., Pappalardo, Giuseppe

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    The verification of distributed redundant systems
    von Mancini, Luigi V., Pappalardo, Giuseppe

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Resolving nondeterminism in distributed redundant systems
    von Mancini, Luigi V., Pappalardo, Giuseppe

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    European approaches to Japanese language and linguistics

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Pappalardo, Giuseppe …”
    Buch


    Gespeichert in:

Suchwerkzeuge: