Communicating Sequential Processes (book)

GPTKB entity