> [ 0.000000] (0:@) Check the liveness property promela_chord_liveness
> [ 0.000000] (1:node@Jean_Yves) Joining the ring with id 14, knowing node 1
> [ 0.000000] (2:node@Boivin) Joining the ring with id 8, knowing node 1
> [ 0.000000] (3:node@Jacquelin) A transfer has occured
> [ 0.000000] (3:node@Jacquelin) The task was successfully received by node 1
> [ 0.000000] (1:node@Jean_Yves) Node 14 joined the ring
> [ 0.000000] (0:@) Check the liveness property promela_chord_liveness
> [ 0.000000] (1:node@Jean_Yves) Joining the ring with id 14, knowing node 1
> [ 0.000000] (2:node@Boivin) Joining the ring with id 8, knowing node 1
> [ 0.000000] (3:node@Jacquelin) A transfer has occured
> [ 0.000000] (3:node@Jacquelin) The task was successfully received by node 1
> [ 0.000000] (1:node@Jean_Yves) Node 14 joined the ring