Three processes, one shared resource, no coordinator. Watch each process decide on its own, using only its clock, its queue, and the messages it has received. This is the Part 5 trace from the tutorial.
requestackreleaseacted this stepholds the resourceMessages queue up on a line in the order sent (FIFO).