TY - JOUR T1 - Reaching and Distinguishing States of Distributed Systems JO - SIAM Journal on Computing UR - https://doi.org/10.1137/090771296 PY - 2010/08/19 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 - 2025/11/18 ER -