process Worker \in 1..MaxProcesses
i1: call enq(self);
i2: call deq();
i3: call enq(self);
i4: call deq();
i5: print << MessageLog >>;
Am I correct in intepreting this code to mean that the process runs the statement
i1, then i2, … then i5? MaxProcesses = 2, a global.
I ask because there are 10s and 10s of prints of MessageLog when run when I
would naively expect 2 only i.e. 2 processes * 1 print/process = 2 prints.