A systematic approach to safe coordination of dynamic participants in real-time distributed systems

Mong Leng Sin. A systematic approach to safe coordination of dynamic participants in real-time distributed systems. PhD thesis, Trinity College Dublin, Ireland, 2013. [doi]

Abstract

Abstract is missing.