Publications

From sequential to concurrent: correctness and relative efficiency (brief announcement)