9780367389116: Stochastic Relations
Couverture souple
ISBN 10 : 0367389118 ISBN 13 : 9780367389116
Editeur : Routledge, 2019

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Doberkat, Ernst-Erich

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Routledge
Date d'édition
2019
Langue
anglais
ISBN 10 
0367389118
ISBN 13 
9780367389116
Reliure
Broché
Nombre de pages
372
Coordonnées du fabricant
Buchpark GmbH
https://www.buchpark.de

Krügerweg 1
Trebbin
Brandenburg
14959
Allemagne

Autres éditions populaires du même titre

9781584889410: Stochastic Relations: Foundations for Markov Transition Systems

Edition présentée

ISBN 10 :  1584889411 ISBN 13 :  9781584889410
Editeur : Chapman & Hall/CRC, 2007
Couverture rigide