TY - JOUR T1 - Reaching and Distinguishing States of Distributed Systems JO - SIAM Journal on Computing PY - 2010/01/01 AU - Hierons RM ED - DO - DOI: 10.1137/090771296 PB - Society for Industrial & Applied Mathematics (SIAM) VL - 39 IS - 8 SP - 3480 EP - 3500 Y2 - 2024/12/22 ER -