Stochastic Relations: Foundations for Markov Transition Systems (Chapman & Hall/CRC Studies in Informatics Series) - Softcover

Buch 1 von 8: Chapman & Hall/CRC Studies in Informatics

Doberkat, Ernst-Erich

 
9780367389116: Stochastic Relations: Foundations for Markov Transition Systems (Chapman & Hall/CRC Studies in Informatics Series)
Softcover
ISBN 10: 0367389118 ISBN 13: 9780367389116
Verlag: Routledge, 2019

Inhaltsangabe

This book 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, it examines congruences and morphisms. It applies these topics to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. Developments from the general theory of coalgebras in the context of the subprobability functor are presented. The book also includes case studies of software architecture, the converse of a stochastic relation, and the average case analysis of two algorithms.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Doberkat, Ernst-Erich

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Routledge
Erscheinungsdatum
2019
Sprache
Englisch
ISBN 10 
0367389118
ISBN 13 
9780367389116
Einband
Tapa blanda
Auflage
1
Anzahl der Seiten
372
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781584889410: Stochastic Relations: Foundations for Markov Transition Systems (Chapman & Hall/CRC Studies in Informatics Series)

Vorgestellte Ausgabe

ISBN 10:  1584889411 ISBN 13:  9781584889410
Verlag: Chapman and Hall/CRC, 2007
Hardcover