Communication primitives
Unsynchronized: no coordination, no guarantee of valid read or not overwrite
Read-modify-write: locks data structure during data access (In TSM, events are totally ordered, R-M-W action is one event)
Unbounded FIFO buffered: point-to-point, produced token is consumed only after generated. (TSM context: simple connection where signal is constrained to have totally ordered. If consumer process has unbounded FIFOs on all inputs, all inputs have a total order imposed upon them.
Bounded FIFO buffered: Each input and output signals are internally totally ordered. For buffer size = 1, input and output events must interleaved. For larger size, impose the maximum difference between input or output events occuring in succession.