This text covers important research lines of the theory of traces. Each chapter of the book is devoted to one research line and can be read independently, hence it is suitable for advanced courses and seminars on formal language theory and the theory of concurrent systems.
