Search Results - Pappalardo, Giuseppe

  • Showing 1 – 7 results of 7
Filter by
  1. 1
    Cover Image

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

    Published 1988
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1988
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1988
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1988
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1988
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1987
    Book


    Saved in:
  7. 7
    Cover Image

    European approaches to Japanese language and linguistics

    Published 2020
    Other Authors: “…Pappalardo, Giuseppe…”
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: