Modelling and validation of non-deterministic clock synchronisation algorithms

Authors

  • Pedro Nicolau Faria da Fonseca
  • José Alberto Gouveia Fonseca Orientador
  • Zoubir Mammeri Orientador

Keywords:

Clock synchronisation, Distributed systems, Real-time systems, Non-deterministic algorithms

Abstract

This thesis addresses the problem of anlysing and designing non-deterministic clock synchronisation algorithms in distributed systems. Non-deterministic algorithms are a promising solution to the clock synchronisation problem, which can be testified by the attention they have received in recent years. (...)

References

Downloads

Published

2000-01-01

Issue

Vol. 2 No. 7 (2000)

Section

Doctoral thesis: abstract