Formal Verification of Concurrent Embedded Software by Johannes Frederik Jesper

Programming ERLANG: Software for a Concurrent World (Paperback or Softback)

Rust System Programming: Build Secure, Concurrent, and Efficient System Software

Pattern-Oriented Software Architecture Volume 2: Patterns for Concurrent - GOOD

Functional and Concurrent Programming by Michel Charpentier PAPERBACK

Rust System Programming: Build Secure, Concurrent, and Efficient System Software

Automated Verification of Concurrent Search Structures - 9783031006784