Static allocation of process replicas in fault tolerant computing systems