Reduced Markov Models Of Parallel Programs With Replicated Processes | IEEE Conference Publication | IEEE Xplore