Intuitive semantics
(Often stateless) actors perform computation
Unbounded FIFOs perform communication via sequences of tokens carrying values
- integer, float, fixed point
- matrix of integer, float, fixed point
- image of pixels
State implemented as self-loop
Determinacy:
- unique output sequences given unique input sequences
- Sufficient condition: blocking read
(process cannot test input queues for emptiness)