Browse Research and Tech Reports - Computer Science by Subject "Leader Election"

  • Liu, Si; Olveczky, Peter C.; Meseguer, José (2015)
    The modeling and analysis of mobile ad hoc networks MANETs pose non-trivial challenges to formal methods. Time, geometry, communication delays and failures, mobility, and uni- and bidirectionality can interact in unforeseen ...


    application/pdfPDF (988kB)