| 000 | 01435camuu2200373 a 4500 | |
| 001 | 000045365186 | |
| 005 | 20070628141843 | |
| 008 | 070131s2007 flua b 001 0 eng | |
| 010 | ▼a 2007004444 | |
| 015 | ▼a GBA719044 ▼2 bnb | |
| 016 | 7 | ▼a 013689580 ▼2 Uk |
| 020 | ▼a 9781584889410 (hbk. : alk. paper) | |
| 020 | ▼a 1584889411 (hbk. : alk. paper) | |
| 024 | 3 1 | ▼a 9781584889410 |
| 035 | ▼a (OCoLC)ocm82172857 | |
| 035 | ▼a (OCoLC)82172857 | |
| 035 | ▼a (KERIS)REF000012982356 | |
| 040 | ▼a DLC ▼c DLC ▼d UKM ▼d BAKER ▼d BTCTA ▼d YDXCP ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.9.M35 ▼b D578 2007 |
| 082 | 0 0 | ▼a 004.01/51 ▼2 22 |
| 090 | ▼a 004.0151 ▼b D633s | |
| 100 | 1 | ▼a Doberkat, Ernst-Erich. |
| 245 | 1 0 | ▼a Stochastic relations : ▼b foundations for Markov transition systems / ▼c Ernst-Erich Doberkat. |
| 260 | ▼a Boca Raton : ▼b Taylor & Francis, ▼c c2007. | |
| 300 | ▼a xxiii, 345 p. : ▼b ill. ; ▼c 25 cm. | |
| 490 | 0 | ▼a Chapman & Hall/CRC studies in informatics series |
| 504 | ▼a Includes bibliographical references (p. 331-338) and index. | |
| 650 | 0 | ▼a Computer science ▼x Mathematics. |
| 650 | 0 | ▼a Stochastic processes. |
| 650 | 0 | ▼a Markov processes. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 004.0151 D633s | 등록번호 121148809 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
저자소개
Ernst-Erich Doberkat(지은이)
목차
Preface A Gentle Tutorial to All Things Considered Introduction Measurable Spaces Polish and Analytic Spaces Measurable Selectors Probability Measures Categories Stochastic Relations as Monads Introduction The Manes Monad The Giry Monad Case Study: Architectural Modeling through Monads Eilenberg?Moore Algebras for Stochastic Relations Introduction Characterization through Equivalence Relations Positive Convex Structures Algebras through Positive Convex Structures Examples The Left Adjoint The Existence of Semi-Pullbacks Introduction A Road Map Extending Semi-Pullbacks of Measures The Existence of Semi-Pullbacks Congruences and Bisimulations Introduction Smooth Equivalence Relations Factoring Bisimulations Behavioral Equivalence and a Portmanteau 2-Bisimulations Simple Relations Case Study: The Converse of a Stochastic Relation Case Study: Simple Relations for Counting Interpreting Modal and Temporal Logics Introduction Modal Logics Projective Limits for Interpreting Temporal Logics F-Bisimulations for CSL Logical Equivalence for μCSL Appendix: Notations Categories Spaces Other Bibliography Index Bibliographic Notes appear at the end of each chapter.
정보제공 :