Labelled Markov processes:
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 characterizati...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
London
Imperial College Press
c2009
|
| Schlagwörter: | |
| Links: | http://www.worldscientific.com/worldscibooks/10.1142/P595#t=toc http://www.worldscientific.com/worldscibooks/10.1142/P595#t=toc |
| Zusammenfassung: | 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 |
| Umfang: | xii, 199 p. ill |
| ISBN: | 9781848162891 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044633387 | ||
| 003 | DE-604 | ||
| 005 | 20191223 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2009 xx a||| o|||| 00||| eng d | ||
| 020 | |a 9781848162891 |c electronic bk. |9 978-1-84816-289-1 | ||
| 024 | 7 | |a 10.1142/P595 |2 doi | |
| 035 | |a (ZDB-124-WOP)00002059 | ||
| 035 | |a (OCoLC)1012664195 | ||
| 035 | |a (DE-599)BVBBV044633387 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 519.233 |2 22 | |
| 100 | 1 | |a Panangaden, Prakash |d 1954- |e Verfasser |0 (DE-588)139823573 |4 aut | |
| 245 | 1 | 0 | |a Labelled Markov processes |c Prakash Panangaden |
| 264 | 1 | |a London |b Imperial College Press |c c2009 | |
| 300 | |a xii, 199 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a 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 | ||
| 650 | 4 | |a Markov processes | |
| 650 | 4 | |a Measure theory | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1848162871 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781848162877 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/P595#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030031359 | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/P595#t=toc |l DE-92 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818983717480169472 |
|---|---|
| any_adam_object | |
| author | Panangaden, Prakash 1954- |
| author_GND | (DE-588)139823573 |
| author_facet | Panangaden, Prakash 1954- |
| author_role | aut |
| author_sort | Panangaden, Prakash 1954- |
| author_variant | p p pp |
| building | Verbundindex |
| bvnumber | BV044633387 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00002059 (OCoLC)1012664195 (DE-599)BVBBV044633387 |
| dewey-full | 519.233 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.233 |
| dewey-search | 519.233 |
| dewey-sort | 3519.233 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01815nam a2200385zc 4500</leader><controlfield tag="001">BV044633387</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191223 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2009 xx a||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781848162891</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-84816-289-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/P595</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00002059 </subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012664195</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044633387</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.233</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Panangaden, Prakash</subfield><subfield code="d">1954-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)139823573</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Labelled Markov processes</subfield><subfield code="c">Prakash Panangaden</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Imperial College Press</subfield><subfield code="c">c2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 199 p.</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Markov processes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Measure theory</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1848162871</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781848162877</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/P595#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030031359</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/P595#t=toc</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044633387 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T18:07:33Z |
| institution | BVB |
| isbn | 9781848162891 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030031359 |
| oclc_num | 1012664195 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xii, 199 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Imperial College Press |
| record_format | marc |
| spelling | Panangaden, Prakash 1954- Verfasser (DE-588)139823573 aut Labelled Markov processes Prakash Panangaden London Imperial College Press c2009 xii, 199 p. ill txt rdacontent c rdamedia cr rdacarrier 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 Markov processes Measure theory Erscheint auch als Druck-Ausgabe 1848162871 Erscheint auch als Druck-Ausgabe 9781848162877 http://www.worldscientific.com/worldscibooks/10.1142/P595#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Panangaden, Prakash 1954- Labelled Markov processes Markov processes Measure theory |
| title | Labelled Markov processes |
| title_auth | Labelled Markov processes |
| title_exact_search | Labelled Markov processes |
| title_full | Labelled Markov processes Prakash Panangaden |
| title_fullStr | Labelled Markov processes Prakash Panangaden |
| title_full_unstemmed | Labelled Markov processes Prakash Panangaden |
| title_short | Labelled Markov processes |
| title_sort | labelled markov processes |
| topic | Markov processes Measure theory |
| topic_facet | Markov processes Measure theory |
| url | http://www.worldscientific.com/worldscibooks/10.1142/P595#t=toc |
| work_keys_str_mv | AT panangadenprakash labelledmarkovprocesses |