We prove that the protocol complex of the immediate snapshot read/write complex for n+1 processors is a simplicial subdivision of the input complex. Our proof is purely geometric, using the Schlegel diagram construction.
Homology, Homotopy and Applications, Vol. 14 (2012), No. 2, pp.197-209.