3 books in this genre
Hands-On Concurrency with Rust: Confidently build memory-safe, parallel, and efficient software in Rust
Brian L. Troutwine
Seven Concurrency Models In Seven Weeks
Paul Butcher
Formal Models of Communicating Systems
Benedikt Bollig
