Publications

From sequential to concurrent: Correctness and relative efficiency