Showing 1 - 20 results of 198 for search 'Lynch,, Nancy', query time: 0.07s Refine Results
  1. 1
    Brief announcement: On simple back-off in unreliable radio networks

    Brief announcement: On simple back-off in unreliable radio networks by Lynch, Nancy

    Published 2021
    Get full text
    Article
  2. 2
    6.852J / 18.437J Distributed Algorithms, Fall 2005

    6.852J / 18.437J Distributed Algorithms, Fall 2005 by Lynch, Nancy

    Published 2005
    Get full text
  3. 3
    6.045J / 18.400J Automata, Computability, and Complexity, Spring 2005

    6.045J / 18.400J Automata, Computability, and Complexity, Spring 2005 by Lynch, Nancy

    Published 2005
    Get full text
  4. 4
    I/O Automata: A Model for Discrete Event Systems

    I/O Automata: A Model for Discrete Event Systems by Lynch, Nancy A.

    Published 2023
    Get full text
  5. 5
    A Hundred Impossibility Proofs for Distributed Computing

    A Hundred Impossibility Proofs for Distributed Computing by Lynch, Nancy A.

    Published 2023
    Get full text
  6. 6
    Multivalued Possibilities Mappings

    Multivalued Possibilities Mappings by Lynch, Nancy A.

    Published 2023
    Get full text
  7. 7
    Simulation Techniques for Proving Properties of Real-time Systems

    Simulation Techniques for Proving Properties of Real-time Systems by Lynch, Nancy A.

    Published 2023
    Get full text
  8. 8
    Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations

    Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations by Lynch, Nancy A.

    Published 2023
    Get full text
  9. 9
    Relativization of the Theory of Computational Complexity

    Relativization of the Theory of Computational Complexity by Lynch, Nancy A.

    Published 2023
    Get full text
  10. 10
    Multilevel Atomicity: A New Correctness Criterion for Database Concurrency Control

    Multilevel Atomicity: A New Correctness Criterion for Database Concurrency Control by Lynch, Nancy A.

    Published 2023
    Get full text
  11. 11
    Concurrency Control for Resilient Nested Transaction

    Concurrency Control for Resilient Nested Transaction by Lynch, Nancy A.

    Published 2023
    Get full text
  12. 12
    I/O Automaton Models and Proofs for Shared-Key Communication Systems

    I/O Automaton Models and Proofs for Shared-Key Communication Systems by Lynch, Nancy A.

    Published 2023
    Get full text
  13. 13
    Distributed algorithms /

    Distributed algorithms / by Lynch, Nancy A.; 1948-

    Published 1996
  14. 14
    RADON: Repairable Atomic Data Object in Networks

    RADON: Repairable Atomic Data Object in Networks by Lynch, Nancy, Medard, Muriel

    Published 2021
    Get full text
    Article
  15. 15
    RADON: Repairable Atomic Data Object in Networks

    RADON: Repairable Atomic Data Object in Networks by Lynch, Nancy, Medard, Muriel

    Published 2022
    Get full text
    Article
  16. 16
    MultiChord: A Resilient Namespace Management Protocol

    MultiChord: A Resilient Namespace Management Protocol by Lynch, Nancy, Stoica, Ion

    Published 2005
    Get full text
  17. 17
    An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion

    An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion by Fan, Rui, Lynch, Nancy

    Published 2008
    Get full text
  18. 18
    Modeling Radio Networks

    Modeling Radio Networks by Lynch, Nancy, Newport, Calvin

    Published 2009
    Get full text
  19. 19
    Reliably Detecting Connectivity using Local Graph Traits

    Reliably Detecting Connectivity using Local Graph Traits by Cornejo, Alejandro, Lynch, Nancy

    Published 2010
    Get full text
  20. 20
    Partial Reversal Acyclicity

    Partial Reversal Acyclicity by Radeva, Tsvetomira, Lynch, Nancy

    Published 2011
    Get full text

Search Tools: