Reasoning About Networks With Many Identical Finite-State Processes.

Edmund M. Clarke, Orna Grumberg, Michael C. Browne

Browse the full PODC paper archive.