Process Translation
•Superficial, stores entities as lists
•Receiver process translated:
•(receiver (1 . 1)
•          (ackid frameid)
•          (start (() (task ackid -1)
•                     (label 1)
•                     (output ack (ackid) () ())
•                     (nextstate waiting)))
•          (waiting ((frameid (frameid))
•                    (decision ((= frameid (+ ackid 1))
•                               (task ackid (+ ackid 1))
•                               (join 1))
•                              ((<> frameid (+ ack 1))
•                               (join 1))))))