•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))))))