1 “...Quick guide to writing fast, safe, and concurrent systems and applications...”

2 Table of Contents: “... metaprogramming -- Functional design for concurrent systems -- Testing and debugging...”

3 “... and verification of timed concurrent systems and, in particular, timed automata as well as several extensions...”

4

5 “..., concurrent systems. You're also investigating designs that help you maximize uptime and manage security.This...”

6

7 Table of Contents: “... it down; Summary; Chapter 2: Parallelize It; Understanding concurrency; Properties of concurrent systems...”

8 “... the Author Sa¿Ła Juri♯⁷ uses Elixir and Erlang to build fault-tolerant, scalable, highly concurrent systems...”

9 Table of Contents: “... for System Programming -- Chapter 6: Concurrent System Programming with C++...”

10 Table of Contents: “... Exercise: GenServer-powered to-do server -- Summary -- 7 Building a concurrent system -- 7.1 Working...”

11 “... popular, and arguably one of the world's most powerful, tools for detecting software defects in concurrent...”

12

13