Үүнийг мессежээр илгээх: Correctness criteria for process migration : an extended abstract / Chin Lu and J.W.S. Liu.