Description: Stochastic Relations : Foundations for Markov Transition Systems, Paperback by Doberkat, Ernst-Erich, ISBN 0367389118, ISBN-13 9780367389116, Like New Used, Free shipping in the US Collecting information previously scattered throughout the vast literature, including the author’s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems.
After an introduction to the basic mathematical tools from topology, measure theory, and categories, th examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general theory of coalgebras in the context of the subprobability functor. These tools show that bisimilarity and behavioral and logical equivalence are the same for general modal logics and for continuous time stochastic logic with and without a fixed point operator.
With numerous problems and several case studies, this book is an invaluable study of an important aspect of computer science theory.
Price: 95.12 USD
Location: Jessup, Maryland
End Time: 2025-01-16T22:48:34.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Stochastic Relations : Foundations for Markov Transition Systems
Number of Pages: 376 Pages
Publication Name: Stochastic Relations
Language: English
Publisher: CRC Press LLC
Publication Year: 2019
Subject: Programming / Games, Probability & Statistics / Stochastic Processes, General, Discrete Mathematics
Type: Textbook
Item Weight: 24.4 Oz
Subject Area: Mathematics, Computers
Author: Ernst-Erich Doberkat
Item Length: 9.2 in
Item Width: 6.2 in
Series: Chapman and Hall/Crc Studies in Informatics Ser.
Format: Trade Paperback
