Proving Assertions about Parallel Programs

Edward A. Ashcroft. Proving Assertions about Parallel Programs. J. Comput. Syst. Sci., 10(1):110-135, 1975.

Authors

Edward A. Ashcroft

This author has not been identified. Look up 'Edward A. Ashcroft' in Google