|
СТ |
Translating Timed I/O Automata Specifications for Theorem Proving in PVS |
2006 |
Lim H., Kaynar D., Lynch N., Mitra S. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
16.03.2006 |
|
СТ |
Switched Probabilistic I/O Automata |
2005 |
Cheung L., Lynch N., Segala R., Vaandrager F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
П |
Hybrid I/O Automata Revisited + A LEGO Case Study |
2002 |
Lynch N., Segala R., Vaandrager F., Fehnker A. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
П |
Hybrid I/O Automata |
2002 |
Lynch N., Segala R., Vaandrager F. |
|
|
Techn.Univ.Munchen |
|
24.08.2002 |
|
СТ |
Distributed Computing: Models and Methods |
1994 |
Lamport L., Lynch N. |
|
|
|
Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B |
27.01.1998 |
|
СТ |
Are Wait-Free Algorithms Fast? |
1994 |
Attiya H., Lynch N., Shavit N. |
|
|
|
J. of the ACM |
18.10.1994 |
|
СТ |
Probabilistic Simulations for Probabilistic Processes |
1994 |
Segala R., Lynch N. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Liveness in Timed and Untimed Systems |
1994 |
Gawlick R., Segala R., Sogaard-Andersen J., Lynch N. |
|
|
|
Lecture Notes in Computer Science |
09.08.1994 |
|
СТ |
Simulation Techniques for Proving Properties of Real-Time Systems |
1994 |
Lynch N. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty |
1994 |
Attiya H., Dwork C., Lynch N., Stockmeyer L. |
|
|
|
J. of the ACM |
27.04.1994 |
|
СТ |
The Impossibility of Implementing Reliable Communication in the Face of Crashes |
1993 |
Fekete A., Lynch N., Mansour Y., Spinelli J. |
|
|
|
J. of the ACM |
17.02.1994 |
|
СТ |
On the Correctness of Orphan Management Algorithms |
1992 |
Herlihy M., Lynch N., Merritt M., Weihl W. |
|
|
|
J. of the ACM |
10.12.1992 |
|
СТ |
Hybrid Atomicity for Nested Transactions |
1992 |
Fekete A., Lynch N., Weihl W. E. |
|
|
|
Lecture Notes in Computer Science |
14.11.1992 |
|
СТ |
Action Transducers and Timed Automata |
1992 |
Vaandrager F., Lynch N. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
|
СТ |
At-Most-Once Message Delivery. A Case Study in Algorithm Verification |
1992 |
Lampson B., Lynch N., Sogaard-Andersen J. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Forward and Backward Simulations for Timing-Based Systems |
1992 |
Lynch N., Vaandrager F. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
СТ |
Easy Impossibility Proofs for Distributed Consensus Problems |
1990 |
Fisher M., Lynch N., Merritt M. |
|
|
|
Lecture Notes in Computer Science |
12.02.1991 |
