A Semantically Sound Actor Tranlsation