Could you explain those program written in jspin

Copyright 2007 by Moti Ben-Ari under the GNU GPL; see readme.tat byte n 0; active proctype P) byte temp; temp-n+1; n tempP; printf("Process P, n . %d ", n) active proctype Q0 byte temp; temp n + 1; n temp; printff"Process Q, n -9edIn",n) o ad n add RI1 Stre R1, n Cl byte n 0; active [2] proctype PO f byte temp; temp n +1; ntemp printf( "Process P%d, n : %d ",-pid, n)