Communicating Sequential Processes

GPTKB entity