Durch das Sammeln von Informationen, die zuvor in der umfangreichen Literatur verstreut waren, einschließlich der eigenen Forschung des Autors Stochastic Relations: Foundations for Markov-Übergangssysteme, entwickelt sich die Theorie der stochastischen Beziehungen als Grundlage für Markov-Übergangssysteme. Nach einer Einführung in die grundlegenden mathematischen Werkzeuge aus Topologie, Maßtheorie und Kategorien untersucht das Buch die zentralen Themen der Kongruenzen und Morphismen, wendet diese auf die monoidale Struktur an und definiert Bisimilarität und Verhaltensäquivalenz in diesem Rahmen. Der Autor betrachtet Entwicklungen aus der allgemeinen Theorie der Kohlegebren im Kontext des Subwahrscheinlichkeitsfunktors. Diese Werkzeuge zeigen, dass Bisimilarität und verhaltensbezogene und logische Äquivalenz für allgemeine modale Logiken und für kontinuierliche zeitstochastische Logik mit und ohne Fixpunktoperator gleich sind. Mit zahlreichen Problemen und mehreren Fallstudien ist dieses Buch eine unschätzbare Studie über einen wichtigen Aspekt der Informatiktheorie. . Sprache: Englisch