|
35
|
Using Mappings to Prove Timing Properties
– Nancy Lynch, Hagit Attiya
- 1989
|
|
437
|
An introduction to input/output automata
– Nancy A. Lynch, Mark R. Tuttle
- 1989
|
|
1659
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
38
|
Action Transducers and Timed Automata
– Nancy Lynch, Frits Vandrager
- 1996
|
|
63
|
Forward and backward simulations for timing-based systems
– Nancy Lynch, Frits Vaandrager
- 1991
|
|
77
|
Forward and Backward Simulations - Part II: Timing-Based Systems
– Nancy Lynch, Frits Vandraager
- 1995
|
|
350
|
Hierarchical correctness proofs for distributed algorithms
– Nancy A. Lynch, Mark R. Tuttle
- 1987
|
|
201
|
An Old-Fashioned Recipe for Real Time
– Martín Abadi, Leslie Lamport
- 1993
|
|
81
|
Liveness in Timed and Untimed Systems
– Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, Nancy Lynch
- 1994
|
|
1311
|
Distributed Algorithms
– N A Lynch
- 1996
|
|
437
|
Symbolic Model Checking for Real-time Systems
– Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
- 1992
|
|
7
|
Reliable communication
– John M Spinelli
- 1988
|
|
34
|
Resource bounds for self stabilizing message driven protocols
– Shlomi Dolev, Amos Israeli, Shlomo Moran
- 1991
|
|
152
|
Selfstabilization of dynamic systems assuming only read/write atomicity
– S DOLEV, A ISRAELI, S MORAN
|
|
108
|
Self-stabilizing extensions for messagepassing systems
– Shmuel Katz, Kenneth Perry
- 1990
|
|
51
|
Fault-tolerant broadcast of routing information
– R Perlman
- 1983
|
|
174
|
The Benefits of Relaxing Punctuality
– Rajeev Alur, Tomás Feder, Thomas A. Henzinger
- 1996
|
|
409
|
The Existence of Refinement Mappings
– Martín Abadi, Leslie Lamport
- 1988
|
|
89
|
The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems
– Constance Heitmeyer, Nancy Lynch
- 1994
|
