Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Jump to user comments
theory A process algebra in which channel names can act
both as transmission medium and as transmitted data. Its
basic atomic actions are individual point to point
communications which are nondeterministically selected and
globally sequentialised.