Besides Jtsummers' great list of citations, I would also suggest [2] as an overview of traditional process algebras and how they formalize and reason about conc

Besides Jtsummers' great list of citations, I would also suggest [2] as an overview of traditional process algebras and how they formalize and reason about concurrent processes. It focuses a bit more on a specific way of doing these things (namely, by giving processes a structural operational semantics based on labelled transition systems), but other approaches are also introduced and referenced. If you are looking for more thorough, but still undergrad-level treatments, then [1, 3] are safe bets. [1] Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, and Jiri Srba. 2007. Reactive Systems. Cambridge University Press, Cambridge. Retrieved from http://ebooks.cambridge.org/ref/id/CBO9780511814105 http://ebooks.cambridge.org/ref/id/CBO9780511814105 [1] R De Nicola, A Gentle Introduction to Process Algebras, https://www.pst.ifi.lmu.de/Lehre/fruhere-semester/sose-2013/formale-spezifikation-und-verifikation/intro-to-pa.pdf https://www.pst.ifi.lmu.de/Lehre/fruhere-semester/sose-2013/... [3] Jan Friso Groote and Mohammad Reza Mousavi. 2014. Modeling and Analysis of Communicating Systems. MIT Press. Retrieved from https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems https://mitpress.mit.edu/books/modeling-and-analysis-communi...