Theories of translation correctness for concurrent programming languages | lit.salon