Compiler Correctness for Concurrent Languages.

David S. Gladstein, Mitchell Wand

Browse the full Coordination paper archive.