HOME > Detail View

Detail View

Stochastic relations : foundations for Markov transition systems

Stochastic relations : foundations for Markov transition systems (Loan 2 times)

Material type
단행본
Personal Author
Doberkat, Ernst-Erich.
Title Statement
Stochastic relations : foundations for Markov transition systems / Ernst-Erich Doberkat.
Publication, Distribution, etc
Boca Raton :   Taylor & Francis,   c2007.  
Physical Medium
xxiii, 345 p. : ill. ; 25 cm.
Series Statement
Chapman & Hall/CRC studies in informatics series
ISBN
9781584889410 (hbk. : alk. paper) 1584889411 (hbk. : alk. paper)
Bibliography, Etc. Note
Includes bibliographical references (p. 331-338) and index.
Subject Added Entry-Topical Term
Computer science -- Mathematics. Stochastic processes. Markov processes.
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

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.0151 D633s Accession No. 121148809 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

김자미 (2021)