[GoblinSlayer]

Ordering can be solved by a mutex.

[a9h74j]

I was thinking of more distributed control systems, particularly where testing for edge cases might be difficult and rare, and rigorous methods (did Lamport solve distributed mutex?) are probably off the radar in terms of culture.

[GoblinSlayer]

Any forum is a distributed system of a server and clients that agree with each other on order of user posts.