Showing 1 - 20 results of 30 for search '', query time: 0.21s Refine Results
  1. 1
    A Theory of atomic transcations /
    by Fogg, Dennis C
    Published 1988

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    A new fault-tolerant algorithm for clock synchronization /
    by Welch, Jennifer
    Published 1984

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    An analysis of Rabin's randomized mutual exclusion algorithm : preliminary report /
    by Saias, Alain Isaac
    Published 1991

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    Correctness conditions for highly available replicated databases /

    Book
  5. 5
    Modelling shared state in a shared action model /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Are wait-free algorithms fast? /
    by Attiya, Hagit
    Published 1991

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    The Byzantine firing squad problem /
    by Burns, James E
    Published 1985

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Forward and backward simulations for timing-based systems /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  9. 9
    Distributed algorithms : lecture notes for 6.852, Fall 1992 /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 10
    A hundred impossibility proofs for distributed computing /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 11
    A lattice-structured proof technique applied to a minimum spanning tree algorithm /
    by Welch, Jennifer
    Published 1988

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Time bounds for real-time process control in the presence of timing uncertainty /
    by Attiya, Hagit
    Published 1989

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 13
    Synthesis of efficient drinking philosophers algorithms /
    by Welch, Jennifer
    Published 1989

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  14. 14
    Using mappings to prove timing properties /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    Introduction to the theory of nested transactions /

    Book
  16. 16
    A proof of the Kahn principle for input/output automata /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  17. 17
    Consensus in the presence of partial synchrony : preliminary version /
    by Dwork, Cynthia, 1958-
    Published 1984

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  18. 18
    Using mappings to prove timing properties /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  19. 19
    Action transducers and timed automata /
    by Vaandrager, Frits
    Published 1992

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  20. 20
    Distributed algorithms : lecture notes for 6.852, fall semester 1988 /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search