#### Filter Results:

- Full text PDF available (178)

#### Publication Year

1973

2018

- This year (9)
- Last 5 years (37)
- Last 10 years (81)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Michael J. Fischer, Nancy A. Lynch, Mike Paterson
- PODS
- 1983

The consensus problem involves an asynchronous system of processes, some of which may be unreliable. The problem is for the reliable processes to agree on a binary value. In this paper, it is shownâ€¦ (More)

- Roberto Segala, Nancy A. Lynch
- CONCUR
- 1994

Several probabilistic simulation relations for probabilistic systems are deened and evaluated according to two criteria: compositionality and preservation of \interesting" properties. Here, theâ€¦ (More)

- Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer
- J. ACM
- 1988

The concept of partial synchrony in a distributed system is introduced. Partial synchrony lies between the cases of a synchronous system and an asynchronous system. In a synchronous system, there isâ€¦ (More)

The input output automaton model has recently been de ned in LT LT as a tool for modeling concurrent and distributed discrete event systems of the sorts arising in computer science Since itsâ€¦ (More)

- Seth Gilbert, Nancy A. Lynch
- SIGACT News
- 2002

When designing distributed web services, there are three properties that are commonly desired: consistency, availability, and partition tolerance. It is impossible to achieve all three. In this note,â€¦ (More)

- Nancy A. Lynch, Mark R. Tuttle
- PODC
- 1987

We introduce the input output automa ton a simple but powerful model of computation in asynchronous distributed networks With this model we are able to construct modular hierarchical correct nessâ€¦ (More)

- Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg
- Hybrid Systems
- 1995

Abs t r ac t . We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I /O automaton model of [12, 7] andâ€¦ (More)

- Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl
- Symposium on Reliability in Distributed Softwareâ€¦
- 1983

This paper considers a variant of the Byzantine Generals problem, in which processes start with arbitrary real values rather than Boolean values or values from some bounded range, and in whichâ€¦ (More)

- Fabian Kuhn, Nancy A. Lynch, Rotem Oshman
- STOC
- 2010

In this paper we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the communication links forâ€¦ (More)

- Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
- The Theory of Timed I/O Automata
- 2006

This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems areâ€¦ (More)