Communicating between processes using messages and correlation