Jean-Michel Hélary;Michel Raynal
-;-
Towards the construction of distributed detection programs, with an application to distributed termination
Distributed Computing