Title: Correctness criteria for process migration
Subjects: Programming (Electronic computers)