Actor communication via messages and its semantics