During my studies at the University of York I’ve found or been recommended various computer science textbooks that are available online. Since I got bored of looking through my history to find them again I’ve compiled them into a list here. I’ll try to keep it up to date.
- C. A. R Hoare - Communicating Sequential Processes
- A. W. Roscoe - The Theory and Practice of Concurrency