Jean-Michel Hélary
-
Interval consistency of asynchronous distributed computations
Journal of Computer and System Sciences
Towards the construction of distributed detection programs, with an application to distributed termination
Distributed Computing