Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.
Distributed computing : 24th international symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010: proceedings / eds.: N. A. Lynch, A. A. Shvartsman, 2010 r=on-line. - Текст : электронный.
Lynch N.A. Action transducers and timed automata / N.A.Lynch,F.W.Vaandrager, 1994. - 40 p. - Текст : непосредственный.
Lynch N.A. Forward and backward simulations. Pt. 2 : Timing-based systems, 1993. - 36 p. - Текст : непосредственный.
Lynch N.A. Forward and backward simulations. Pt. 1 : Untimed systems, 1993. - 35 p. - Текст : непосредственный.