Collecting information previously scattered throughout the vast
literature, including the authora (TM)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, the book 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
