Description: Introduction.- Preliminaries.- Semantical Domains.- Concurrency Traces.
Review Quotes: "The book contains a thorough in-depth study of mathematical structures used in semantics of concurrency. ... The book at hand takes the reader onto an in-depth journey of such structures used to give semantics to concurrent systems and their most important properties with regards to questions of expressiveness. ... The book should be fairly accessible to an interested reader who is able to follow concise mathematical argumentation." (Martin Lange, zbMATH 1503.68008, 2023)