Showing 1 - 20 results of 35 for search '', query time: 0.16s Refine Results
  1. 1
    Hierarchical correctness proofs for distributed algorithms
    Published 1987

    Book
  2. 2
    The data link layer: two impossibility results
    Published 1988

    Book
  3. 3
    Concurrency control for resilient nested transactions
    Published 1983

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    Multilivel atomicity - a new correctness criterion for database concurrency control
    Published 1982

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  5. 5
    Impossibility of distributed consensus with one faulty process
    Published 1982

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Multivalued possibilities mappings
    Published 1990

    Book
  7. 7
    Distributed FIFO allocation of identical resources using small shared space
    Published 1985

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Chapter on distributed computing
    Published 1989

    Book
  9. 9
    The colored ticket algorithm
    Published 1983

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 10
    Consensus in the presence of partial synchrony
    Published 1984

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 11
    A new fault tolerant algorithm for clock synchronization
    Published 1984

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    The impact of synchronous communication on the problem of electing a leader in a ring
    Published 1984

    Book
  13. 13
    A hundred impossibility proofs for distributed computing
    Published 1989

    Book
  14. 14
    Time bounds for real-time process control in the presence of timing uncertainty
    Published 1989

    Book
  15. 15
    On the correctness of orphan management algorithms
    Published 1989

    Book
  16. 16
    Using mappings to prove timing properties
    Published 1989

    Book
  17. 17
    A serialization graph construction for nested transactions
    Published 1990

    Book
  18. 18
    The need for headers: an impossibility result for communication over unreliable channels
    Published 1990

    Book
  19. 19
    Modelling shared state in a shared action model
    Published 1990

    Book
  20. 20
    I/O automata: a model for discrete event systems
    Published 1988

    Book
Search Tools: Get RSS Feed — Email this Search