Consume
Consume (channels: ChannelWithPeekFlag, continuation: C, persist: Boolean) (m: Match)->
- Fetch data residing on channels & look for match candidates
- If match:
- return continuation
- For all match candidates: if not persist or not peek -> remove from tuplespace
- not found: store continuation with peek information
- found:
2.Produce
Produce(channel: C, data: A, persist: Boolean)(m: Match)
...