Some analysis technique for asynchronous multiprocessor algorithms (1979)

by J T Robinson
Venue:IEEE Trans. Software Engrg. SE-5