3 libros en este género
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