Have a look at https://github.com/glaretechnologies/substrata/blob/ef48de33... for some (incomplete) notes.

In Croquet that simply falls out of synchronizing computation itself, rather than just state. Since all machines receive the exact same inputs, their physics engines arrive at the exact same results without any need to cooperate.