Works of Nancy Lynch: Recent submissions

Now showing items 97-99 of 99

    • A Reliable Broadcast Scheme for Sensor Networks 

      Livadas, Carolos; Lynch, Nancy A. (2003-08-11)
      In this short technical report, we present a simple yet effective reliable broadcast protocol for sensor networks. This protocol disseminates packets throughout the sensor network by flooding and recovers from losses ...

    • The Theory of Timed I/O Automata 

      Kaynor, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2005-03-02)
      This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.

    • The Theory of Timed I/O Automata 

      Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2003-08-27)
      Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems.