DMCA

A Library of Concurrent Objects and Their Proofs of Correctness (1990)

by Chun Gong , Jeannette M. Wing
Citations:12 - 1 self