Communicating Sequential Processes: A Formalism for Concurrent Programsusingcsp.com3 points·orib··0 commentsOpen articleSaveView on HN