Corrigendum to "Proofs of Networks of Processes" | IEEE Journals & Magazine | IEEE Xplore