Вы здесь

Lynch N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Hybrid Systems: Computation and Control: Proc./Third Intern. Workshop, HSCC 2000. Pittsburgh, PA, USA, March 2000 2000 Lecture Notes in Computer Science
  1. Lynch N.
  2. Krogh B. H.
13.04.2000