Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs.The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 212 ● ISBN 9781848162891 ● Kích thước tập tin 1.6 MB ● Nhà xuất bản World Scientific Publishing Company ● Thành phố Singapore ● Quốc gia SG ● Được phát hành 2009 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 2423389 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM