About the local detection of termination of local computations in graphs.

Yves Mtivier, Anca Muscholl, Pierre-Andr Wacrenier

Browse the full SIROCCO paper archive.