Operational and algebraic semantics of concurrent processesby Robin MilnerWriting a summary for young readers…For young readersBook data: Open Library