Could you explain this program written in jspin in detail to help me understand

/* Listing 5.2*/ int n 0; bool flag false; ai ne s active proctype p) do :: flag -> break; :: else->n 1-n; od Shrord active proctype q) flag true