Communicating Sequential Processes: A Formalism for Concurrent Programs · HackerTrans