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