Now showing items 1-1 of 1

    • Formalising a real-time coordination model 

      Bhandal, Colm (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2015)
      The subject of this thesis pertains to coordination in systems of entities characterised by mobile, real-time behaviour and unreliable communication over a wireless network. Such systems are now being deployed both in ...