Stochastic Relations
Foundations for Markov Transition Systems
Published on 17. May 2007
376 pages
978-1-58488-942-7 (ISBN)
Description
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
After an introduction to the basic mathematical tools from topology, measure
More details
Series
Language
English
Place of publication
London
United Kingdom
Publishing group
Taylor & Francis Ltd
Target group
College/higher education
Computer scientists, mathematicians, software engineers, and graduate students studying computer science theory.
Illustrations
16 s/w Abbildungen
16 b/w images and 1000 equations
File size
3,03 MB
ISBN-13
978-1-58488-942-7 (9781584889427)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Book
09/2019
1st Edition
Chapman & Hall/CRC
€94.60
Shipment within 15-20 days
Book
05/2007
1st Edition
Chapman & Hall/CRC
€252.97
Article not available at the moment
Content
Introduction. A Gentle Tutorial to All Things Considered. Stochastic Relations as Monads. Eilenberg-Moore Algebras for Stochastic Relations. The Existence of Semi-Pullbacks. Congruences and Bisimulations. Interpreting Modal and Temporal Logics. Appendix. Bibliography. Index.
