Roscoe, A. W.
Understanding concurrent systems
- London: Springer, 2010
- xviii, 527 p.; ill.: 24 cm.
- Texts in computer science. .
9781848822573 hbk
Parallel processing (Electronic computers)
Operating systems
Logics and Meanings of Programs
Sequential processing (Computer science)
Computer science
004.35 / ROS