Deciding and verifying network properties locally with few output bits - Archive ouverte HAL Access content directly
Journal Articles Distributed Computing Year : 2020

Deciding and verifying network properties locally with few output bits

, (1) , , ,
1
Heger Arfaoui
  • Function : Author
David Ilcinkas
Fabien Mathieu
Andrzej Pelc
  • Function : Author

Dates and versions

hal-03100213 , version 1 (06-01-2021)

Identifiers

Cite

Heger Arfaoui, Pierre Fraigniaud, David Ilcinkas, Fabien Mathieu, Andrzej Pelc. Deciding and verifying network properties locally with few output bits. Distributed Computing, 2020, 33 (2), pp.169-187. ⟨10.1007/s00446-019-00355-1⟩. ⟨hal-03100213⟩
12 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More