ReceiveMessage

fun ReceiveMessage(sender: ProcessId, receiver: ProcessId)