datk should model Channels #18
Description
Channel or I/O automata
A Channel is a directed edge between two processes.
A Channel may provide a queue (or other ordering) guarantee.
{{ message }}
Channel or I/O automata
A Channel is a directed edge between two processes.
A Channel may provide a queue (or other ordering) guarantee.